Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers - Richter-Gebert, Jurgen, 1963- (Springer, 2001)