Project Details
Person
Dr. Pedro Pinto
Address
Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik
Schloßgartenstraße 7
64289 Darmstadt
ORCID-ID 0000-0002-8761-523X
-
As Applicant
-
Current projects
-
Proof Mining in Nonlinear Functional Analysis (Research Grants)
-
-
Current projects
