Automated deduction in geometry : third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers - Richter-Gebert, Jürgen, 1963-; Wang, Dongming, 1961- (Lecture notes in computer science, 2001)