Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Dense Sphere Packings: A Blueprint for Formal Proofs
Foyalty 145

Dense Sphere Packings: A Blueprint for Formal Proofs (Paperback)

£47.99
Usually despatched within 2 weeks.

Synopsis

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.

Science & MathematicsMathematicsApplied mathematicsScience & MathematicsMathematicsCombinatorics & graph theoryScience & MathematicsMathematicsTopologyAlgebraic topologyScience & MathematicsMathematicsTopologyAnalytic topology Publisher: Cambridge University Press Publication Date: 06/09/2012 ISBN-13: 9780521617703  Details: Type: Paperback Format: Books
Availability: Usually despatched within 2 weeks. Login for Quick Checkout Add to Basket

Professor Thomas Hales is Andrew Mellon Professor at the University of Pittsburgh. He is best known for his solution to the 400-year-old Kepler conjecture and is also known for the proof of the honeycomb conjecture. He is currently helping to develop technology that would allow computers to do mathematical proofs. His honors include the Chauvenet Prize of the MAA, the R. E. Moore Prize, the Lester R. Ford Award of the MAA, the Robbins Prize of the AMS and the Fulkerson Prize of the Mathematical Programming Society.

More books by Thomas C. Hales

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Global Homotopy Theory
(Hardback)
Stefan Schwede
 
 
£140.00
 
The Block Theory of Finite Group...
(Paperback)
Markus Linckelmann
 
 
£49.99
 
The Block Theory of Finite Group...
(Paperback)
Markus Linckelmann
 
 
£49.99
 
The Block Theory of Finite Group...
(Hardback)
Markus Linckelmann
 
 
£94.99
 
© W&G Foyle Ltd
Foyles uses cookies to help ensure your experience on our site is the best possible. Click here if you’d like to find out more about the types of cookies we use.
Accept and Close