Documentation

LeanPool.GaussianMomentsCounterexamples

Gaussian Moments Conjecture counterexamples #

Source: arxiv:2607.18186, url:https://github.com/long-mathematics/gaussian-moments-counterexamples Authors: Christopher D. Long Status: verified Main declarations: GaussianMomentsCounterexamples.not_GMC_of_three_le Tags: gaussian-measure, polynomial-moments, counterexamples, formal-power-series MSC: 60E05, 13F20