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.
"Automated Geometric Theorem Proving: Wu's Method,"
The Mathematics Enthusiast: Vol. 3
, Article 2.
Available at: http://scholarworks.umt.edu/tme/vol3/iss1/2