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.