Constructive Mathematics: Proof and Computation
(CONSTRUMATH)
Start date: Jan 1, 2009,
End date: Dec 31, 2011
PROJECT
FINISHED
"The proposed programme focusses on constructive analysis, algebra and topology, the extraction and implementation of programs from formal proofs, and constructive reverse mathematics. Through a network of three European and two third-country institutes, all of them among the leading groups in the relevant research, we aim at facilitating the interplay between the above branches of constructive mathematics, which range from the foundations of mathematics to real-world applications in computer science."
Get Access to the 1st Network for European Cooperation
Log In
or
Create an account
to see this content
Coordinator
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
€ 57 600,00- Peter Schuster
- GESCHWISTER SCHOLL PLATZ 1 80539 MUENCHEN (Germany)
Details
- 100% € 57 600,00
-
FP7-PEOPLE
- Project on CORDIS Platform