1. Buchberger, B.: Groebner Bases: an Algorithmic Method in Polynomial Ideal Theory. In N.K. Bose, Multidimensional systems theory, Reidel, Dordrecht, 184–232 (1985)
2. Carra, G., Gallo, G.: A procedure to prove geometrical statements. In L. Huguet, A. Poli, Proc. 5th Int. Conf. on Applied Algebra, Algebraic Algorithms and ErrorCorrecting Codes, LNCS, 356, 141–150. Springer, Berlin (1989)
3. Chou, S. C.: Proving Elementary Geometry Theorems Using Wu’s Algorithm. Automated Theorem Proving: After 25 years, Contemporary Mathematics, AMS, 29, 243–286 (1984)
4. Capani, A., Niesi, G.,L. Robbiano: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from: cocoa.dima.unige.it
5. Gao, X. S.: Automated Geometry Diagram Construction and Engineering Geometry. In Proc. ADG ‘98, Beijing, 232–257, Springer (1998)