Formalization of Mathematics (FORMATH)

Duration: from 01 March 2010 to 31 July 2013

Researchers

Publications related to the project

Show by type

2012

  1. Formalization of a Normalization Theorem in Simplicial Topology

    Annals of Mathematics and Artificial Intelligence