Chapter 20 GEOMETRIC THEOREM PROVERS AND ALGEBRAIC EQUATIONS SOLVERS