Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers - International Workshop on Automated Deduction in Geometry 2000 : Zurich, Switzerland); Richter-Gebert, Jurgen, 1963-; Wang, Dongming (Berlin ; New York : Springer, 2001)
Includes bibliographical references and index.
Keywords: Automatic theorem proving -- Congresses; Geometry -- Data processing -- Congresses; Logic, Symbolic and mathematical -- Congresses