Showing 1–11 of 11 results
/ Date/ Name
Feb 3, 2026Fel's Conjecture on Syzygies of Numerical SemigroupsFeb 4, 2026Almost all primes are partially regularMar 31, 2026ABC implies that Ramanujan's tau function misses almost all primesFeb 3, 2026Parity of $k$-differentials in genus zero and oneFeb 4, 2026Dead ends in square-free digit walksMar 25, 2026On the paucity of lattice trianglesFeb 28, 2025A Formal Proof of the Irrationality of $ζ(3)$ in Lean 4Sep 18, 2025The mechanization of science illustrated by the Lean formalization of the multi-graded Proj constructionMay 6, 2025CombiBench: Benchmarking LLM Capability for Combinatorial MathematicsApr 25, 2026Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4Apr 28, 2026Chebyshev quotients, Demazure multiplicities, and Dyck-path models