ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Algebraic topology"
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 ...