Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Ulrich Kohlenbach

Adresse Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik
Schloßgartenstraße 7
64289 Darmstadt

Projekte

Als Antragsteller
- laufende Projekte
  - Proof Mining in der konvexen Optimierung und verwandten Gebieten (Sachbeihilfen)
- abgeschlossene Projekte
  - Logische Extraktion von effektiven uniformen Schranken aus Beweisen, die auf Folgenkompaktheit basieren. (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 1529: Mathematical Fluid Dynamics (Internationale Graduiertenkollegs)

© 2024 DFG Kontakt / Impressum / Datenschutz