Jahrbuch Project has compiled this Electronic Research Archives for Mathematics that includes "the most important mathematical publications of the period 1868-1942 and a database based on the 'Jahrbuch über die...

Zentralblatt MATH is an extensive database containing abstracts of reviewed articles in pure and applied mathematics. The database contains over two million entries drawn from more than 2,300 serials and journals. The...

This article from the magazine The Economist argues that the notion of mathematical proof is now in flux and that "the use of computers to prove mathematical theorems is forcing mathematicians to re-examine the...