Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung
Fachliche Zuordnung
Softwaretechnik und Programmiersprachen
Förderung
Förderung von 2005 bis 2009
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5443474
Keine Zusammenfassung vorhanden
DFG-Verfahren
Sachbeihilfen
