# Sphere packings V

Preprint · Samuel P. Ferguson

- Archive id: arxiv:math/9811077
- Published: 1998-11-11
- arXiv: https://arxiv.org/abs/math/9811077
- Citations: 0
- Source URL: https://arxiv.org/abs/math/9811077
- PDF: https://arxiv.org/pdf/math/9811077
- Provenance: arxiv

## 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 reproduced under CC0-1.0 (arXiv descriptive metadata)._

Topics: [Landmark Results in Pure Mathematics](https://space-kitty.com/topics/landmark-math-results)

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.