First Page | Document Content | |
---|---|---|
Date: 2015-01-11 20:23:30Conjectures Discrete geometry Logic in computer science Formal methods Kepler conjecture Mathematical proof Proof assistant HOL Sphere packing Mathematics Theoretical computer science Logic | arXiv:1501.02155v1 [math.MG] 9 Jan 2015Add to Reading ListSource URL: arxiv.orgDownload Document from Source WebsiteFile Size: 174,87 KBShare Document on Facebook |