Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Ulrich Kohlenbach

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

Projects

As Applicant
- Completed projects
  - Extraction of effective uniform bounds from proofs based on sequential compactness via logical analysis (Research Grants)
  - Proof Mining in Convex Optimization and related areas (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 1529: Mathematical Fluid Dynamics (International Research Training Groups)

© 2025 DFG Disclaimer / Copyright / Privacy Policy