Geodesic
From Kepler to Hales, and back to Hilbert
Documenta mathematica, Optimization Stories (2012), pp. 439-446.

Voir la notice de l'article provenant de la source Electronic Library of Mathematics

Classification : 01A65, 52C17, 05B40, 03B35
Keywords: sphere packing, Kepler conjecture, formal proofs 
@article{DOCMA_2012__S3__a2,
     author = {Joswig, Michael},
     title = {From {Kepler} to {Hales,} and back to {Hilbert}},
     journal = {Documenta mathematica},
     pages = {439--446},
     publisher = {mathdoc},
     volume = {Optimization Stories},
     year = {2012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DOCMA_2012__S3__a2/}
}
TY  - JOUR
AU  - Joswig, Michael
TI  - From Kepler to Hales, and back to Hilbert
JO  - Documenta mathematica
PY  - 2012
SP  - 439
EP  - 446
VL  - Optimization Stories
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DOCMA_2012__S3__a2/
LA  - en
ID  - DOCMA_2012__S3__a2
ER  - 
%0 Journal Article
%A Joswig, Michael
%T From Kepler to Hales, and back to Hilbert
%J Documenta mathematica
%D 2012
%P 439-446
%V Optimization Stories
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DOCMA_2012__S3__a2/
%G en
%F DOCMA_2012__S3__a2
Joswig, Michael. From Kepler to Hales, and back to Hilbert. Documenta mathematica, Optimization Stories (2012), pp. 439-446. http://geodesic.mathdoc.fr/item/DOCMA_2012__S3__a2/