• Contact
  • Submissions
  • About
  • Updates
  • Journals
  • Books
  • Subscribe To Open
    • Authors
    • Libraries
    • Booksellers
BooksdmsCollected Volumepp. 439–446

From Kepler to Hales, and back to Hilbert

  • Michael Joswig

    Fachbereich Mathematik TU Darmstadt 64289 Darmstadt Germany
From Kepler to Hales, and back to Hilbert cover
Download Chapter PDF

Publication Date

1 January 2012

DOI
10.4171/DMS/6/42

Keywords

  • sphere packing
  • Kepler conjecture
  • formal proofs
  • Contact
  • Legal Notice
  • Privacy Policy
  • Accessibility Statement

© 2023 EMS Press
EMS Press is an imprint of the European Mathematical Society - EMS - Publishing House GmbH,
a subsidiary of the European Mathematical Society.