@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/}
}