CONSTRUMATH

Constructive Mathematics: Proof and Computation

Coordinatore	LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN    more  Organization address address: GESCHWISTER SCHOLL PLATZ 1 city: MUENCHEN postcode: 80539 contact info Titolo: Dr. Nome: Peter Cognome: Schuster Email: send email Telefono: 498922000000 Fax: +49 89 2180 4038
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

#	participant	country	role	EC contrib. [€]
1	LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN  Organization address address: GESCHWISTER SCHOLL PLATZ 1 city: MUENCHEN postcode: 80539 contact info Titolo: Dr. Nome: Peter Cognome: Schuster Email: send email Telefono: 498922000000 Fax: +49 89 2180 4038	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.