Links

The Kenzo program, at Francis Sergeraert home page. http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
A user's guide to spectral sequences, by John McCleary. The most complete reference about spectral sequences. https://pages.vassar.edu/mccleary/books/users-guide-to-spectral-sequences/
GAP - Groups, Algorithms, Programming. A System for Computational Discrete Algebra. http://www.gap-system.org/
OpenMath. An XML standard for representing the semantics of mathematical objects. http://www.openmath.org/