Automated Deduction in Geometry

ISBN 10: 3540666729 / ISBN 13: 9783540666721

Published by Springer, 1999

About this Item

pp. 300. Seller Inventory # 263075423

Bibliographic Details

Title: Automated Deduction in Geometry

Publisher: Springer

Publication Date: 1999

Binding: Soft cover

Condition: New

About this title

Synopsis:

Automated Deduction in Geometry The refereed proceedings of the Second International Workshop on Automated Deduction in Geometry (ADG'98). Papers cover topics such as automated geometry theorem proving, automated geometry problem solving, plane Euclidean reasoning and Clifford algebraic methods for geometric reasoning.

Synopsis:

This book constitutes the strictly refereed post-workshop proceedings of the Second International Workshop on Automated Deduction in Geometry, ADG'98, held in Beijing, China in August 1998. The 14 revised papers presented were selected from the papers accepted for the workshop after careful reviewing. The papers address all current issues in the area, in particular automated geometry theorem proving, automated geometry problem solving, plane Euclidean reasoning, Clifford algebraic methods for geometric reasoning, decomposing algebraic varieties, applciations in computer vision, mechanical CAGD, etc.