Searching for "Formalizing the Proof of the Kepler Conjecture." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Formalizing Plane Graph Theory — Towards a Formalized Proof of the Kepler Conjecture
by Kepler Conjecture, Gertrud Josefine Bauer, Technische Universität München, Technische Universität München, Gertrud Josefine Bauer — 2006 — Types for Proofs and Programs (TYPES 2000), volume 2277 of Lect. Notes in Comp. Sci
… Formalized Proof of the Kepler Conjecture Gertrud Josefine Bauer Vollständiger Abdruck der von der Fakultät…
Cited by 2 (2 self) – Add To MetaCart

The Flyspeck Project
by Thomas C. Hales
… FLYSPECK is derived from the acronym FPK, for the Formal Proof of the Kepler Conjecture. The word flyspeck…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB