Editors:
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)
Conference series link(s): ADG: International Workshop on Automated Deduction in Geometry
Conference proceedings info: ADG 2002.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (13 papers)
-
Front Matter
-
Back Matter
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
-
Research Institute for Symbolic Computation (RISC), J. Kepler University, Linz, Austria
Franz Winkler
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