![The Mathematics Enthusiast](/assets/md5images/7e2d9a637c3682bb36cd0f857d0d5b10.gif)
Volume
6
Issue
3
Abstract
In this paper, we program a procedure using Maple's packages, with it we can realize mechanical proving of some theorems in elementary geometry.
First Page
381
Last Page
394
Recommended Citation
Xia, Shengxiang and Xia, Gaoxiang
(2009)
"AN APPLICATION OF GRÖBNER BASES,"
The Mathematics Enthusiast: Vol. 6
:
No.
3
, Article 6.
DOI: https://doi.org/10.54870/1551-3440.1159
Available at:
https://scholarworks.umt.edu/tme/vol6/iss3/6
Digital Object Identifier (DOI)
10.54870/1551-3440.1159