Popular repositories Loading

1. bendprover bendprover Public

   Multiprecision bend solver and existence prover for unit-equilateral triangulated spheres, with an embeddedness checker.

   C 1

2. undented undented Public

   Enumerate, solve, and prove all prime neoplatonic solids (equilateral triangulated spheres, max degree 6, no degree-3 vertices).

   C

3. clers clers Public

   CBEAD/CLERS encode/decode and canonical naming for triangulations of the sphere.

   C

4. primegen primegen Public

   Generate prime 6-nets (max-degree-6 sphere triangulations) by recurrence and canonical CLERS naming.

   C

5. ideal ideal Public

   Solvers and bracket proofs for ideal horoball packings, with homotopy to equilateral realizations of triangulated spheres.

   C

6. euclid_lm euclid_lm Public

   LM-sparse Euclidean OBJ generator for the neoplatonic proof pipeline

   C