BooksdmsCollected Volumepp. 439–446From Kepler to Hales, and back to HilbertMichael JoswigFachbereich Mathematik TU Darmstadt 64289 Darmstadt GermanyDownload Chapter PDF