PROYECTOS EUROPEOS
Projecte FORMATH 243847-FP7-ICT-2009-C FORMATH
Formalization of Mathematics (FORMATH)
date_range
Duració del 01 de de març de 2010 al 31 de de juliol de 2013
(41 mesos)
Va finalitzar
euro
204.480,00 EUR
D'àmbit Europeu.
Investigadors/es
Publicacions relacionades amb el projecte (1)
Mostra per anualitatArticle
-
Formalization of a Normalization Theorem in Simplicial Topology
2012
Annals of Mathematics and Artificial Intelligence