spherical-codes

Here are 2 public repositories matching this topic...

ppadfoot / cohn-rajagopal-conjecture-3-1

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.

mathematics sphere-packing discrete-geometry preprint exact-arithmetic kissing-number metric-geometry spherical-codes cohn-rajagopal conjecture-3-1

Updated Sep 30, 2026
HTML

mt0-svg / tammes-15

Star

The Tammes problem for fifteen points: the optimal minimal distance of 15 points on the sphere, with the reduction proved in Lean 4 with Mathlib

formal-verification sagemath tammes-problem discrete-geometry mathlib pari-gp lean4 contact-graph spherical-codes

Updated Oct 5, 2026
Lean

Add this topic to your repo

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

Learn more