AN APPLICATION OF GRÖBNER BASES

Authors

Shengxiang Xia
Gaoxiang Xia

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