Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers by Jürgen Richter-GebertAutomated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers by Jürgen Richter-Gebert

Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland…

EditorJürgen Richter-Gebert, Dongming Wang

Paperback | September 12, 2001

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 thoroughly refereed post-proceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000.The 16 revised full papers and two invited papers presented were carefully selected for publication during two rounds of reviewing and revision from a total of initially 31 submissions. Among the issues addressed are spatial constraint solving, automated proving of geometric inequalities, algebraic proof, semi-algebraic proofs, geometrical reasoning, computational synthetic geometry, incidence geometry, and nonstandard geometric proofs.
Title:Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland…Format:PaperbackDimensions:333 pages, 9.25 × 6.1 × 0 inPublished:September 12, 2001Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540425985

ISBN - 13:9783540425984

Look for similar items by category:

Reviews