Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings by Xiao-shan GaoAutomated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings by Xiao-shan Gao

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3…

EditorXiao-shan Gao, Dongming Wang, Lu Yang

Paperback | October 13, 1999

Pricing and Purchase Info

$128.95

Earn 645 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3…Format:PaperbackDimensions:294 pages, 9.25 × 6.1 × 0.03 inPublished:October 13, 1999Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540666729

ISBN - 13:9783540666721

Look for similar items by category:

Reviews