In this paper, we program a procedure using Maple's packages, with it we can realize mechanical proving of some theorems in elementary geometry.
Xia, Shengxiang and Xia, Gaoxiang
"AN APPLICATION OF GRÖBNER BASES,"
The Mathematics Enthusiast: Vol. 6
, Article 6.
Available at: http://scholarworks.umt.edu/tme/vol6/iss3/6