{"id":"arxiv:math/9811077","kind":"preprint","title":"Sphere packings V","authors":["Samuel P. Ferguson"],"author_count":1,"year":1998,"published":"1998-11-11","venue":null,"cited_by":0,"doi":null,"arxiv_id":"math/9811077","nct_id":null,"source_url":"https://arxiv.org/abs/math/9811077","archive_url":"https://space-kitty.com/papers/arxiv:math/9811077","updated":"1998-11-11","pmid":null,"pmcid":null,"openalex_id":"W4394669790","pdf_url":"https://arxiv.org/pdf/math/9811077","abstract":"The Hales program to prove the Kepler conjecture on sphere packings consists of five steps, which if completed, will jointly comprise a proof of the conjecture. We carry out step five of the program [outlined in math.MG/9811073], a proof that the local density of a certain combinatorial arrangement, the pentahedral prism, is less than that of the face-centered cubic lattice packing. We prove various relations on the local density using computer-based interval arithmetic methods. Together, these relations imply the local density bound.","abstract_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.MG"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[{"slug":"landmark-math-results","name":"Landmark Results in Pure Mathematics","domain_slug":"math-cs"}],"cited_in_dossiers":[]}