Skip to content
#

linear-programming-bound

Star

Here is 1 public repository matching this topic...

tretoef-estrella / kissing-number-13-zinoviev-ericson-reproduction

Star 0

First independent byte-exact reproduction of the Zinoviev-Ericson (1999) K(13) = 1154 kissing configuration in R^13, with full optimization pipeline, 13 paper-grade structural findings on dim-13 saturation, rare-paths doctrine, and dual Constructor/Auditor methodology with both-hats discipline.

linear-programming simulated-annealing sphere-packing discrete-geometry leech-lattice k13 cyclotomic-fields kissing-number steiner-system combinatorial-geometry zinoviev-ericson eisenstein-integers linear-programming-bound lattice-construction
  • Updated May 11, 2026
  • C++

Improve this page

Add a description, image, and links to the linear-programming-bound topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the linear-programming-bound topic, visit your repo's landing page and select "manage topics."

Learn more