Volume
3
Issue
1
Abstract
Wu’s Method for proving geometric theorems is well known. We investigate the underlying algorithms involved, including the concepts of pseudodivision, Ritt’s Principle and Ritt’s Decomposition algorithm. A simple implementation for these algorithms in Maple is presented, which we then use to prove a few simple geometric theorems to illustrate the method.
First Page
3
Last Page
50
Recommended Citation
Elias, Joran
(2006)
"Automated Geometric Theorem Proving: Wu's Method,"
The Mathematics Enthusiast: Vol. 3
:
No.
1
, Article 2.
DOI: https://doi.org/10.54870/1551-3440.1034
Available at:
https://scholarworks.umt.edu/tme/vol3/iss1/2
Digital Object Identifier (DOI)
10.54870/1551-3440.1034
