Automated Deduction in Geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers - Jürgen Richter-Gebert, Dongming Wang ((Lecture Notes in Computer Science))