PROYECTOS EUROPEOS
Project FORMATH 243847-FP7-ICT-2009-C FORMATH
Formalization of Mathematics (FORMATH)
date_range
Duration: from 01 March 2010 to 31 July 2013
(41 months)
Finished
euro
204,480.00 EUR
Of European scope.
Researchers
Publications related to the project
Show by type2012
-
Formalization of a Normalization Theorem in Simplicial Topology
Annals of Mathematics and Artificial Intelligence