# Tag Archives: robotic

## 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 »

## Automatic Geometric Theorem Proving

Here is the summary of section 4 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 intend to introduce this idea that the hypotheses and conclusions of a large class of geometric theorems can be expressed… 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 »

## The Forward Kinematic Problem

Here is the summary of section 2 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 Forward Kinematic Problem Can ‎we ‎give ‎explicit ‎description ‎or ‎formula ‎for‎ in terms of the joint setings (our coordinates on ‎… Read More »

## Geometric Description of Robots

Here is the summary of section 1 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 Types of Robots Here we aim to study some special types of robots that can describe as below: 1. Robots in which… Read More »