
05711010
j
2010c.00541
Xia, Shengxiang
Xia, Gaoxiang
An application of Gr\"obner bases.
Mont. Math. Enthus. 6, No. 3, 381394 (2009).
2009
Information Age Publishing (IAP), Charlotte, NC; Department of Mathematical Sciences, The University of Montana, Missoula, MT
EN
R20
E50
Gr\"obner bases
geometry theorems
Maple
computer algebra
automated theorem proving
Summary: In this paper, we program a procedure using Maple's packages, with it we can realize mechanical proving of some theorems in elementary geometry.