1. Sutherland, I.E.: Sketchpad: A man-machine graphical communication system, Tech. Rep. 574, Computer Laboratory, University of Cambridge (2003)
2. Gao, X.S., Lin, Q.: MMP/Geometer - A software package for automated geometric reasoning. Lect. Notes Artif. Int. 3763, 44–66 (2006)
3. Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters, Taiwan (1998)
4. Recio, T., Vélez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reason. 23, 63–82 (1999)
5. Botana, F., Valcarce, J.L.: A dynamic-symbolic interface for geometric theorem discovery. Comput. Educ. 38, 21–35 (2002)