Popular repositories Loading

1. four-color-density four-color-density Public

   A proof of Cohn and Rajagopal's Conjecture 4.1, with the manuscript, LaTeX sources, and a Lean 4 formalization of the upper-density bound.

   Lean

2. cohn-rajagopal-conjecture-3-1 cohn-rajagopal-conjecture-3-1 Public

   Proof of Cohn and Rajagopal's Conjecture 3.1: six-dimensional kissing configurations containing Q5 or R5 have at most 70 points. Manuscript and exact verification.

   HTML

3. lagarias-zero-dimension lagarias-zero-dimension Public

   Two Lagarias dimension conjectures: zero Hausdorff and packing dimension for 3-adic and real exceptional sets of powers of two. v2 adds vanishing nesting constants and uniform finite-visit control.…

   TeX

4. ternary-cantor-quotients ternary-cantor-quotients Public

   Integer quotients of ternary Cantor numbers: a stronger power lower bound (exponent 0.6660585...) and the infinite sporadic family 621*3^(4k)-20, proving the family proposed by Bai et al. Research …

   TeX