PROYECTOS EUROPEOS
Projet FORMATH 243847-FP7-ICT-2009-C FORMATH
Formalization of Mathematics (FORMATH)
date_range
Durée de 01 mars 2010 à 31 juillet 2013
(41 mois)
Fini
euro
204 480,00 EUR
Sphère Européen.
Chercheurs
Publications liées au projet
Montrer par annualitéArticle
-
Formalization of a Normalization Theorem in Simplicial Topology
2012
Annals of Mathematics and Artificial Intelligence