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

Projektbezogene Publikationen (Auswahl)

• 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