Professor Dr. Helmut Schwichtenberg

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

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Extraktion effizienter Programme aus formalen Beweisen (Sachbeihilfen)
  - Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung (Sachbeihilfen)
  - Theorie und Praxis der Extraktion von Programmen aus formalen Beweisen (Sachbeihilfen)
  - Extraktion von Programmen aus klassischen Beweisen -Extraction of programs from classical proofs (Sachbeihilfen)
Als Sprecher
- abgeschlossene Projekte
  - GRK 301: Logik in der Informatik (Graduiertenkollegs)
Als Beteiligte Person
- abgeschlossene Projekte
  - Programmiersprachliche Aspekte sublinearer Platzkomplexitätsklassen (Sachbeihilfen)