Innovating Works

CONSTRUMATH

Financiado
Cerrado
Constructive Mathematics Proof and Computation
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 th... ver más
31/12/2011
LMU MUENCHEN
58K€
Presupuesto del proyecto: 58K€
ver más
Líder del proyecto
LUDWIGMAXIMILIANSUNIVERSITAET MUENCHEN No se ha especificado una descripción o un objeto social para esta compañía.
TRL 4-5
Fecha límite participación Sin fecha límite de participación.
Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2011-12-31 No tenemos la información de la convocatoria
0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.