You have Guest access.
Log In
Tobias Nipkow, Gertrud Bauer and Paula Schultz
Journal Article
A Revision of the Proof of the Kepler Conjecture
Thomas C. Hales, John Harrison, Sean McLaughlin, Tobias Nipkow and Steven Obua, et al.
Discrete & Computational Geometry, 2010, Volume 44, Number 1, Pages 1-34
Flyspeck II: the basic linear programs
Steven Obua and Tobias Nipkow
Annals of Mathematics and Artificial Intelligence, 2009, Volume 56, Numbers 3-4, Pages 245-272
Book Chapter
2011, The Kepler Conjecture, Part 3, Pages 341-376
Sphere Packings, VI. Tame Graphs and Linear Programs
Thomas C. Hales
Discrete & Computational Geometry, 2006, Volume 36, Number 1, Pages 205-265
Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism
Tobias Nipkow
Lecture Notes in Computer Science, 2011, Volume 6898, Interactive Theorem Proving, Pages 281-296
2011, The Kepler Conjecture, Part 2, Pages 275-337
The 5 Colour Theorem in Isabelle/Isar
Gertrud Bauer and Tobias Nipkow
Lecture Notes in Computer Science, 2002, Volume 2410, Theorem Proving in Higher Order Logics, Pages 70-74
A Formulation of the Kepler Conjecture
Thomas C. Hales and Samuel P. Ferguson
Discrete & Computational Geometry, 2006, Volume 36, Number 1, Pages 21-69
2011, The Kepler Conjecture, Part 2, Pages 83-133
Root systems, representations of quivers and invariant theory
Victor G. Kac
Lecture Notes in Mathematics, 1983, Volume 996, Invariant Theory, Pages 74-108
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info