Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung

Antragsteller Professor Dr. Helmut Schwichtenberg

Fachliche Zuordnung Softwaretechnik und Programmiersprachen

Förderung Förderung von 2005 bis 2008

Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5443476

Erstellungsjahr 2008

Zusammenfassung der Projektergebnisse

Keine Zusammenfassung vorhanden

An arithmetic for polynomial-time computation. Theoretical Computer Science, 357:202-214, 2006
Helmut Schwichtenberg
Inverting monotone continuous functions in constructive analysis. In: A. Beckmann, U. Berger, B. Löwe, and J.V. Tucker, editors, Logical Approaches to Computational Barriers. (Proc. CiE 2006, Swansea), volume 3988 of LNCS, pages 490-504. Springer Verlag, Berlin, Heidelberg, New York, 2006
Helmut Schwichtenberg
Minlog. In: F. Wiedijk, editor, The Seventeen Provers of the World, volume 3600 of LNAI, pages 151-157. Springer Verlag, 2006
Helmut Schwichtenberg
New developments in proofs and computations. In: A. Sorbi B. Cooper, B. Löwe, editor, New Computational Paradigms, pages 313-340. Springer Verlag, Berlin, Heidelberg, New York, 2008
Helmut Schwichtenberg