CONSTRUMATH
Constructive Mathematics: Proof and Computation
| Coordinatore | LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Organization address
address: GESCHWISTER SCHOLL PLATZ 1 contact info |
| Nazionalità Coordinatore | Germany [DE] |
| Totale costo | 57˙600 € |
| EC contributo | 57˙600 € |
| Programma | FP7-PEOPLE
Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | FP7-PEOPLE-IRSES-2008 |
| Funding Scheme | MC-IRSES |
| Anno di inizio | 2009 |
| Periodo (anno-mese-giorno) | 2009-01-01 - 2011-12-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Organization address
address: GESCHWISTER SCHOLL PLATZ 1 contact info |
DE (MUENCHEN) | coordinator | 57˙600.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'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.'
Introduzione (Teaser)
Constructive proof is an important and highly regarded mathematical method. An EU-financed project sought to take this type of method to a new level.