Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2930)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: ADG 2002.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Automated Deduction in Geometry
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Automated Deduction in Geometry
Book Subtitle: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
Editors: Franz Winkler
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b95516
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-20927-0Published: 28 January 2004
eBook ISBN: 978-3-540-24616-9Published: 06 May 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 229
Topics: Geometry, Artificial Intelligence, Mathematical Logic and Formal Languages, Discrete Mathematics in Computer Science, Computer Graphics, Pattern Recognition