1. A dynamic-symbolic interface for geometric theorem discovery;Botana;Comput. Educ.,2002
2. A software tool for the investigation of plane loci;Botana;Math. Comput. Simul.,2003
3. A. Capani, G. Niesi, L. Robbiano, CoCoA, a system for doing computations in commutative algebra. Available via anonymous ftp from: cocoa.dima.unige.it.
4. A. Chtcherba, Personal communication, 2001.
5. X.S. Gao, Automated geometry diagram construction and engineering geometry, in: Proceedings of ADG’98, Lecture Notes in Artificial Intelligence, vol. 1669, Springer, Berlin, 1998, pp. 232–257.