MathDB1 problem
Treves' conjecture. The operator is analytic hypoelliptic if and only if every stratum in the above-described Poisson–Treves stratification is symplectic.
Treves' conjecture. The operator is analytic hypoelliptic if and only if every stratum in the above-described Poisson–Treves stratification is symplectic.