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

• Applicant: Professor Dr. Helmut Schwichtenberg
• Subject Area: Software Engineering and Programming Languages
• Term: from 2005 to 2008
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5443476

No abstract available

• DFG Programme: Research Grants