  We discuss some of the key ideas of Perelman's proof of Poincar\'e's
conjecture via the Hamilton program of using the Ricci flow, from the
perspective of the modern theory of nonlinear partial differential equations.
