Sphere Packings, IV. Detailed Bounds

Thomas C. Hales ()
Additional contact information
Thomas C. Hales: University of Pittsburgh, Department of Mathematics

Chapter 6 in The Kepler Conjecture, 2011, pp 177-234 from Springer

Abstract: Abstract This paper is the fourth in a series of six papers devoted to the proof of theKepler conjecture, which asserts that no packing of congruent balls in three dimensions has density greater than the face-centered cubic packing. In a previous paper in this series, a continuous function f on a compact spacewas defined, certain points in the domain were conjectured to give the global maxima, and the relation between this conjecture and the Kepler conjecture was established. The function f can be expressed as a sum of terms, indexed by regions on a unit sphere. In this paper detailed estimates of the terms corresponding to general regions are developed. These results form the technical heart of the proof of the Kepler conjecture, by giving detailed bounds on the function f. The results rely on long computer calculations.

Date: 2011
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4614-1129-1_6

Ordering information: This item can be ordered from
http://www.springer.com/9781461411291

DOI: 10.1007/978-1-4614-1129-1_6

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().