ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Formalization of mathematics"
Mostrando ítems 1-1 de 1
-
Artículo
Formalization of a normalization theorem in simplicial topology
(Springer, 2012)In this paper we present a complete formalization of the Normalization Theorem, a result in Algebraic Simplicial Topology ...