Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Helmut Schwichtenberg

Address Ludwig-Maximilians-Universität München
Mathematisches Institut
Theresienstraße 39
80333 München

Projects

As Applicant
- Completed projects
  - Extraktion effizienter Programme aus formalen Beweisen (Research Grants)
  - Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung (Research Grants)
  - Theorie und Praxis der Extraktion von Programmen aus formalen Beweisen (Research Grants)
  - Extraktion von Programmen aus klassischen Beweisen -Extraction of programs from classical proofs (Research Grants)
As Spokesperson
- Completed projects
  - GRK 301: Logic in Computer Science (Research Training Groups)
As Participating Person
- Completed projects
  - Programmiersprachliche Aspekte sublinearer Platzkomplexitätsklassen (Research Grants)

© 2025 DFG Disclaimer / Copyright / Privacy Policy