---

---

Mechanized assistants for Mathematical Research:
the case of Algebraic Topology

---

---

This work has been partially supported by an FPI grant from the Comunidad Autónoma de La Rioja and projects MTM2009-13842-C02-01 and
MTM2010-09087-E from the Spanish Ministerio de Educación y Ciencia, European Union's 7th Framework Programme under grant agreement nr. 243847 (ForMath), project API08-08, contract COLABORA 2007/16 and grants ATUR10/18, ATUR09/14, ABOV10-51, ABOV09- 50 from the
Universidad de La Rioja.

---

---

Full text.

Contents:

• Frontpage.
• Introduction.
• Chapter 1: Preliminaries.
• Chapter 2: A framework for computations in Algebraic Topology.
• Chapter 3: Extensibility and Usability of the Kenzo framework.
• Chapter 4: A framework for Algebraic Topology.
• Chapter 5: New certified Kenzo modules.
• Chapter 6: Integration of Computation and Deduction
• Conclusions an further work.
• Glossary.
• Bibliography.
   

 

Defense:

Mathematical Knowledge Management in Algebraic Topology

View more presentations from Jónathan.

Departamento de Matemáticas y Computación