PROYECTOS EUROPEOS
Proiektua FORMATH 243847-FP7-ICT-2009-C FORMATH
Formalization of Mathematics (FORMATH)
date_range
Iraupena 2010(e)ko martxoa-(a)k 01-(e)tik 2013(e)ko uztaila-(a)k 31-(e)ra izan da
(41 months)
Amaitu
euro
204.480,00 EUR
Europar-arlokoak.
Ikertzaileak
(1) proiektuarekin lotutako argitalpenak
Erakutsi tipologiaren arabera2012
-
Formalization of a Normalization Theorem in Simplicial Topology
Annals of Mathematics and Artificial Intelligence