Joe Shipman proves marked ruler and compass solves the general quintic
Joe Shipman announced on the FOM mailing list that he proved a marked ruler and compass construction solves the general quintic equation, a problem he often discussed with John Horton Conway. Shipman said the constructio…