From Kepler to Hales, and back to Hilbert

  • Michael Joswig

    Fachbereich Mathematik TU Darmstadt 64289 Darmstadt Germany