Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : The Kepler conjecture [Texte électronique] : the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson / Jeffrey C. Lagarias, editor

Publication : New York, NY : Springer, cop. 2011

Description matérielle : 1 online resource (1 texte électronique (xiv, 456 p.))

Note(s) : Titre de l'écran-titre (visionné le 20 décembre 2011). - "Including a special issue of Discrete & Computational Geometry."-. - Bibliogr

Autre(s) auteur(s) : Lagarias, Jeffrey C. (1949-....)  Voir les notices liées en tant qu'auteur
Hales, Thomas Callister. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Ferguson, Samuel P.. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Géométrie discrète  Voir les notices liées en tant que sujet
Géométrie des nombres  Voir les notices liées en tant que sujet
Configurations et schémas combinatoires  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Théorèmes -- Démonstration automatique  Voir les notices liées en tant que sujet
Kepler, Conjecture de  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.6 (23e éd.) = Analyse combinatoire  Voir les notices liées en tant que sujet ; 516.1 (23e éd.) = Aspects généraux de la géométrie  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9781461411291

Identifiant de la notice  : ark:/12148/cb44664232f

Notice n° :  FRBNF44664232 (notice reprise d'un réservoir extérieur)

Table des matières : Preface ; Part I, Introduction and Survey ; 1 The Kepler Conjecture and Its Proof, by J.C. Lagarias ; 2 Bounds for Local Density of Sphere Packings and the Kepler Conjecture, by J.C. Lagarias ; Part II, Proof of the Kepler Conjecture ; Guest Editor's Foreword ; 3 Historical Overview of the Kepler Conjecture, by T.C. Hales ; 4 A Formulation of the Kepler Conjecture, by T.C. Hales and S.P. Ferguson ; 5 Sphere Packings III. Extremal Cases, by T.C. Hales ; 6 Sphere Packings IV. Detailed Bounds, by T.C. Hales ; 7 Sphere Packings V. Pentahedral Prisms, by S.P. Ferguson ; 8 Sphere Packings VI. Tame Graphs and Linear Programs, by T.C. Hales ; Part III, A Revision to the Proof of the Kepler Conjecture ; 9 A Revision of the Proof of the Kepler Conjecture, by T.C. Hales, J. Harrison, S. McLaughlin, T. Nipkow, S. Obua, and R. Zumkeller ; Part IV, Initial Papers of the Hales Program ; 10 Sphere Packings I, by T.C. Hales ; 11 Sphere Packings II, by T.C. Hales ; Index of Symbols ;