Some methods of problem solving in elementary geometry (2007)

by T C Hales
Venue:In LICS