In this talk I will explain my rigorous
verification of the phase transition in 5 point
energy minimization, first noticed by
physicists experimentally in the 1970s. The
proof is a blend of geometry, algebra, and
computer programming.  I will illustrate the
methods with computer demos.