## Wu’s Method

Here is the summary of last section; section 5 of Chapter 6; Robotics and Automatic Geometric Theorem Proving of the book {Ideals, Varieties, and Algorithms} By David A. Cox , John Little and Donal O’Shea Here we want to introduce an algorithmic method for proving theorems in Euclidean geometry based on systems of polynomial equations.… Read More »