MacTutor History of Mathematics archive
CRC Concise Encyclopedia of Mathematics
NISP Prototype Mathematics Digital Library
Journal of Formalized Mathematics
Expository article on spectral sequences
LMS Journal of Computation and Mathematics
Elliptic Curves and Formal Groups