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

• Applicant: Professor Tobias Nipkow, Ph.D.
• Subject Area: Software Engineering and Programming Languages
• Term: from 2005 to 2009
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5443474

No abstract available

• DFG Programme: Research Grants