Some Methods of Problem Solving in Elementary Geometry.

Thomas C. Hales

Browse the full LICS paper archive.