When are two proofs essentially the same? (2007)

An automatic theorem proving project

How should logarithms be taught?

How Craig Barton wishes he’d taught maths

Has an Uncomfortable Mathematical Truth Been Suppressed?

A potential new Polymath project: intransitive dice

How should mathematics be taught to non-mathematicians? – Gowers's Weblog

Elsevier – My part in its downfall

Proving the fundamental theorem of arithmetic

Why isn’t the fundamental theorem of arithmetic obvious? (2011)

Discrete Analysis – A new type of math journal

When is proof by contradiction necessary?

Programmatically writing math papers (2013)