Search alternatives:
kepler conjecture » dyer conjecture

1
Published 2011
Springer New York
Table of Contents: ...Preface -- Part I, Introduction and Survey -- 1 The Kepler Conjecture and Its Proof, by J. C...

2
by Hales, Thomas Callister
Published 2012
Cambridge University Press
Subjects: ...Kepler's conjecture...

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Mechanical Proof of the Cook-Levin Theorem -- Formalizing the Proof of the Kepler Conjecture -- Interfacing...

5
Published 2009
Springer Berlin Heidelberg
... length); safety engineering (building and mechanical structures); mathematical problems (Kepler...

6
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... in the Proof of the Kepler Conjecture -- The Minimal Number of Triangles Needed to Span a Polygon Embedded...

7
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... for the Kepler Conjecture -- A Formal Proof of Pick’s Theorem -- Formal Proof (Contributed) -- Evaluation...

8
Published 2001
Springer Vienna
Table of Contents: ... The Kepler Conjecture -- 3 The Double Bubble Conjecture -- 4 The Dirac-Schwinger Conjecture -- 5 ‘Chaos...