date_range Durée de 01 mars 2010 à 31 juillet 2013 (41 mois)
euro 204 480,00 EUR

Sphère Européen.

Chercheurs

Publications liées au projet

Montrer par typologie

2012

  1. Formalization of a Normalization Theorem in Simplicial Topology

    Annals of Mathematics and Artificial Intelligence