Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik

Address Schloßgartenstraße 7
64289 Darmstadt
Deutschland

GERiT This institution in GERiT

64289 Darmstadt

Projects

Research Grants
- Current projects
  - Proof Mining in Convex Optimization and related areas
    (Applicant Kohlenbach, Ulrich )
  - Proof Mining in Nonlinear Functional Analysis
    (Applicant Pinto, Pedro )
- Completed projects
CRC/Transregios
- Current projects
  - Practical and theoretical aspects of the group isomorphism problem
    (Project Head Schweitzer, Pascal )
International Research Training Groups
- Completed projects
  - GRK 1529: Mathematical Fluid Dynamics
    (Spokesperson Hieber, Matthias )

© 2024 DFG Disclaimer / Copyright / Privacy Policy