Formalization of Mathematics (FORMATH)

Duration of the 01 of March of 2010 to 31 of July of 2013

Researchers

Publications related to the project

Show by pub type

2012

  1. Formalization of a Normalization Theorem in Simplicial Topology

    Annals of Mathematics and Artificial Intelligence