Formalizing simplicial topology in Isabelle/ HOL and Coq

• Jesús María Aransay Azofra ^[1] ; César Domínguez ^[1]
  1. [1] Universidad de La Rioja

     Universidad de La Rioja

     Logroño, España

     
• Localización: Contribuciones científicas en honor de Mirian Andrés Gómez / coord. por Laureano Lambán Pardo, Ana Romero Ibáñez, Julio Rubio García; Mirian Andrés Gómez (hom.), 2010, ISBN 978-84-96487-50-5, págs. 21-41
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)