PROYECTOS EUROPEOS
Proxecto FORMATH 243847-FP7-ICT-2009-C FORMATH
Formalization of Mathematics (FORMATH)
date_range
Duración do 01 de marzo de 2010 ao 31 de xullo de 2013
(41 meses)
Rematou
euro
204.480,00 EUR
De ámbito Europeo.
Investigadores/as
Publicacións relacionadas co proxecto (1)
Mostrar por anualidadeArtigo
-
Formalization of a Normalization Theorem in Simplicial Topology
2012
Annals of Mathematics and Artificial Intelligence