1. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine Proofs in Geometry. World Scientific, Singapore (1994)
2. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated generation of readable proofs with geometric invariants. J. Autom. Reason. 17, 349 (1996)
3. Connes, A.: A new proof of Morley’s theorem. Pub. Math. de l’IHÉS 88, 43–46 (1998)
4. Conway, J.: The power of mathematics. In: Blackwell, A., Mackay, D. (eds.) Power, Darwin College Lectures 16. Cambridge University Press, Cambridge (2005)
5. Conway, J.: in Euclidean Geometry Proofs in THE BOOK.
http://mathforum.org/kb/thread.jspa?messageID=1382215&tstart=0
. Accessed 27 July 2015