Searching for links to RulerAndCompass:
DelianProblem
FermatPrime
GaloisTheory
PiIsIrrational