PROYECTOS EUROPEOS
Projekt FORMATH 243847-FP7-ICT-2009-C FORMATH
Formalization of Mathematics (FORMATH)
date_range
Dauer von 01 von März von 2010 bis 31 von Juli von 2013
(41 Monate)
Fertig
euro
204.480,00 EUR
Geltungsbereich Europäisch.
Forscher/innen
Publikationen im Zusammenhang mit dem Projekt (1)
Nach Typologie anzeigen2012
-
Formalization of a Normalization Theorem in Simplicial Topology
Annals of Mathematics and Artificial Intelligence