Proving the Impossibility of Trisecting an Angle and Doubling the Cube. - Ralph Romanos; Lawrence C. Paulson (Arch. Formal Proofs, 2012)