CONSTRUMATH

Constructive Mathematics: Proof and Computation

 Coordinatore 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

 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.

mathematics    constructive   

 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.

Altri progetti dello stesso programma (FP7-PEOPLE)

LEXMEAN (2012)

Lexical Meaning and Logical Inference

Read More  

LECNAC (2010)

Synthetic lectins for beta-GlcNAc: evaluation of their potential biological applications towards O-GlcNAc-modified proteins

Read More  

STUFFOR (0)

Smart acellular scaffolds for bone repair

Read More