Skip to content

Dense Sphere Packings: A Blueprint for Formal Proofs
Stock Photo: Cover May Be Different

Dense Sphere Packings: A Blueprint for Formal Proofs Paperback - 2012

by Thomas Hales


From the publisher

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.

Details

  • Title Dense Sphere Packings: A Blueprint for Formal Proofs
  • Author Thomas Hales
  • Binding Paperback
  • Pages 286
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press
  • Date 2012-09-06
  • Features Bibliography, Index
  • ISBN 9780521617703 / 0521617707
  • Weight 0.95 lbs (0.43 kg)
  • Dimensions 8.9 x 5.9 x 0.6 in (22.61 x 14.99 x 1.52 cm)
  • Themes
    • Aspects (Academic): Science/Technology Aspects
  • Library of Congress subjects Sphere packings, Kepler's conjecture
  • Library of Congress Catalog Number 2012538866
  • Dewey Decimal Code 511.6
Back to Top

More Copies for Sale

Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note...
Stock Photo: Cover May Be Different

Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note Series, Series Number 400)

by Hales, Thomas

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521617703 / 0521617707
Quantity Available
22
Seller
Hereford, Herefordshire, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$49.86
$10.08 shipping to USA

Show Details

Description:
Cambridge University Press, 2012-12-17. Paperback. New. 1.6987 in x 22.5828 in x 15.1885 in.
Item Price
$49.86
$10.08 shipping to USA
Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note...
Stock Photo: Cover May Be Different

Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note Series, Series Number 400)

by Hales, Thomas

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521617703 / 0521617707
Quantity Available
2
Seller
Hereford, Herefordshire, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$52.19
$10.08 shipping to USA

Show Details

Description:
Cambridge University Press, 2012-12-17. Paperback. Very Good. 1.6987 in x 22.5828 in x 15.1885 in.
Item Price
$52.19
$10.08 shipping to USA
Dense Sphere Packings
Stock Photo: Cover May Be Different

Dense Sphere Packings

by Thomas Callister Hales Thomas Hales

  • New
Condition
New
ISBN 10 / ISBN 13
9780521617703 / 0521617707
Quantity Available
4
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$55.11
$3.99 shipping to USA

Show Details

Description:
Cambridge University Press CUP , pp. xiv + 271 . Papeback. New.
Item Price
$55.11
$3.99 shipping to USA
Dense Sphere Packings: A Blueprint for Formal Proofs
Stock Photo: Cover May Be Different

Dense Sphere Packings: A Blueprint for Formal Proofs

by Hales, Thomas

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521617703 / 0521617707
Quantity Available
1
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$70.64
$12.68 shipping to USA

Show Details

Description:
Cambridge Univ Pr, 2012. Paperback. New. 280 pages. 8.98x0.79x5.98 inches.
Item Price
$70.64
$12.68 shipping to USA
Dense Sphere Packings: A Blueprint for Formal Proofs
Stock Photo: Cover May Be Different

Dense Sphere Packings: A Blueprint for Formal Proofs

by Hales, Thomas

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521617703 / 0521617707
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$71.53
$12.68 shipping to USA

Show Details

Description:
Cambridge Univ Pr, 2012. Paperback. New. 280 pages. 8.98x0.79x5.98 inches.
Item Price
$71.53
$12.68 shipping to USA
Dense Sphere Packings: A Blueprint for Formal Proofs

Dense Sphere Packings: A Blueprint for Formal Proofs

by Thomas C. Hales

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521617703 / 0521617707
Quantity Available
5
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$76.50
$12.62 shipping to USA

Show Details

Description:
Paperback / softback. New. The 400-year-old Kepler conjecture about sphere packings is the oldest problem in discrete geometry. In this book, readers will learn about it through a proof that is much more accessible than the original proof of the theorem.
Item Price
$76.50
$12.62 shipping to USA
Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note...
Stock Photo: Cover May Be Different

Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note Series, Series Number 400)

by Hales, Thomas

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521617703 / 0521617707
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 1 of 5 Stars rating from Biblio customers.
Item Price
$81.00
$15.00 shipping to USA

Show Details

Description:
Cambridge University Press, 2012-12-16. paperback. New. 5x0x8. Brand New Book in Publishers original Sealing
Item Price
$81.00
$15.00 shipping to USA