A Good Lemma Is Worth a Thousand Theorems (2007)

Opinions of Doron Zeilberger

The Princeton Companion to Mathematics [pdf]

What Is Mathematics and What Should It Be?