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 -