Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por materia 

ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Normalization theorem"

Mostrando ítems 1-1 de 1

    • Artículo
      Icon

      Formalization of a normalization theorem in simplicial topology 

      Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Springer, 2012)
      In this paper we present a complete formalization of the Normalization Theorem, a result in Algebraic Simplicial Topology ...