About
This page indexes selected mathematical projects and accompanying computational or formal verification material.
Selected projects
-
Erdős Problem 906: sparse Fock series
An explicit sparse Fock construction with quantitative localization of zeros of high derivatives and a formalized p = 3/2 theorem package.
-
A Realization of G2 for Litt Problem No. 13
A construction of a theta surface whose convolution Tannaka group is G2 in its seven-dimensional representation.
-
A Realization of F4 for Litt Problem No. 13
A realization of the simple group of type F4 as a convolution Tannaka group arising from an integral surface in an abelian fourfold.
-
Prill-Exceptional Étale Covers from Raynaud Bundles
Finite étale covers for which every fibre divisor moves in a pencil, constructed using Raynaud bundles and finite monodromy.
-
Multiplicative Area Potentials for Edge-Point Assignments in Convex Polygons
A multiplicative potential proving termination of Bui's edge-point swap process, with capacitated and subdivision extensions.
-
The Strengthened Szeged-Wiener Conjecture
A proposed proof accompanied by an exact finite certificate; the repository states its verification status and scope explicitly.