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

Detailseite

Institution

Druckansicht

Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik

Adresse Schloßgartenstraße 7
64289 Darmstadt
Deutschland

GERiT Diese Institution in GERiT

64289 Darmstadt

Projekte

Sachbeihilfen
- laufende Projekte
  - Proof Mining in der konvexen Optimierung und verwandten Gebieten
    (Antragsteller Kohlenbach, Ulrich )
  - Proof Mining in nichtlinearer Funktionalanalysis
    (Antragsteller Pinto, Pedro )
- abgeschlossene Projekte
  - Domain-Theorie in der Semantik und der Theorie der C*-Algebren
    (Antragsteller Keimel, Klaus )
  - Logische Extraktion von effektiven uniformen Schranken aus Beweisen, die auf Folgenkompaktheit basieren.
    (Antragsteller Kohlenbach, Ulrich )
  - Quantitative uniforme Komplexitätstheorie mehrwertiger reeller Funktionen und Operatoren in Analysis
    (Antragsteller Streicher, Thomas )
Transregios
- laufende Projekte
  - Praktische und theoretische Aspekte des Gruppenisomorphieproblems
    (Teilprojektleiter Schweitzer, Pascal )
Internationale Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 1529: Mathematical Fluid Dynamics
    (Sprecher Hieber, Matthias )

© 2024 DFG Kontakt / Impressum / Datenschutz