Doron Zeilberger
Paul Erdös and 3x+1
Future fall of infinity
Mathematics is a religion
Proofs are dead, long live algorithms
Symbolic computation in geometry and analysis