Universidad de La Rioja  
Principal Correo-web Directorio Mapa web Contacto

Matemáticas y Computación



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.

Sobre este web | © Universidad de La Rioja