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 »

Inverse Kinematic Problem

Here is the summary of section 3 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 The ‎problem ‎is:‎‎‎ Given‎ ‎ , ‎can ‎we ‎determine ‎one ‎or ‎all ‎the‎ ‎ ‎such ‎that‎ ‎ ?‎‎‎ Indee‎d ‎‎we wish to… Read More »