Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers - International Workshop on Automated Deduction in Geometry 2002 : Linz, Austria); Winkler, Franz, 1955- (Berlin ; New York : Springer, 2004)
Includes bibliographical references and index.
Keywords: Geometry -- Data processing -- Congresses; Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses