Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers - Richter-Gebert, Jürgen; Richter-Gebert, Jürgen; Wang, Dongming; Wang, Dongming (Springer Berlin Heidelberg : Imprint: Springer, 2001)