Dense Sphere Packings

A Blueprint for Formal Proofs

Nonfiction, Science & Nature, Mathematics, Topology, Applied
Cover of the book Dense Sphere Packings by Thomas Hales, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Thomas Hales ISBN: 9781139579124
Publisher: Cambridge University Press Publication: September 6, 2012
Imprint: Cambridge University Press Language: English
Author: Thomas Hales
ISBN: 9781139579124
Publisher: Cambridge University Press
Publication: September 6, 2012
Imprint: Cambridge University Press
Language: English

The 400-year-old Kepler conjecture asserts that no packing of congruent balls in three dimensions can have a density exceeding the familiar pyramid-shaped cannonball arrangement. In this book, a new proof of the conjecture is presented that makes it accessible for the first time to a broad mathematical audience. The book also presents solutions to other previously unresolved conjectures in discrete geometry, including the strong dodecahedral conjecture on the smallest surface area of a Voronoi cell in a sphere packing. This book is also currently being used as a blueprint for a large-scale formal proof project, which aims to check every logical inference of the proof of the Kepler conjecture by computer. This is an indispensable resource for those who want to be brought up to date with research on the Kepler conjecture.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

The 400-year-old Kepler conjecture asserts that no packing of congruent balls in three dimensions can have a density exceeding the familiar pyramid-shaped cannonball arrangement. In this book, a new proof of the conjecture is presented that makes it accessible for the first time to a broad mathematical audience. The book also presents solutions to other previously unresolved conjectures in discrete geometry, including the strong dodecahedral conjecture on the smallest surface area of a Voronoi cell in a sphere packing. This book is also currently being used as a blueprint for a large-scale formal proof project, which aims to check every logical inference of the proof of the Kepler conjecture by computer. This is an indispensable resource for those who want to be brought up to date with research on the Kepler conjecture.

More books from Cambridge University Press

Cover of the book Migration in the Mediterranean by Thomas Hales
Cover of the book Management across Cultures - Australasian Edition by Thomas Hales
Cover of the book Islamic Societies to the Nineteenth Century by Thomas Hales
Cover of the book Knowledge Representation, Reasoning, and the Design of Intelligent Agents by Thomas Hales
Cover of the book The Cambridge Companion to Choral Music by Thomas Hales
Cover of the book Cicero and the Rise of Deification at Rome by Thomas Hales
Cover of the book Medicine and Public Health in Latin America by Thomas Hales
Cover of the book Art in Public by Thomas Hales
Cover of the book Saddam Hussein's Ba'th Party by Thomas Hales
Cover of the book HPCR Manual on International Law Applicable to Air and Missile Warfare by Thomas Hales
Cover of the book Queer Friendship by Thomas Hales
Cover of the book Esther in Ancient Jewish Thought by Thomas Hales
Cover of the book Corruption, Contention, and Reform by Thomas Hales
Cover of the book Affluence, Austerity and Electoral Change in Britain by Thomas Hales
Cover of the book Concrete Abstract Algebra by Thomas Hales
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy