Description: Automated Deduction in Geometry : 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002 : Revised Papers, Paperback by International Workshop on Automated Deduction in Geometry 2002 Linz; Winkler, Franz, ISBN 3540209271, ISBN-13 9783540209270, Like New Used, Free shipping in the US This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.
Price: 66.64 USD
Location: Jessup, Maryland
End Time: 2024-09-17T03:06:07.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Automated Deduction in Geometry : 4th International Workshop, Adg
Number of Pages: VII, 229 Pages
Publication Name: Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2004
Subject: Geometry / General, Intelligence (Ai) & Semantics, Computer Science, Logic
Item Weight: 27.9 Oz
Type: Textbook
Author: Franz Winkler
Subject Area: Mathematics, Computers
Item Length: 9.2 in
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
