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.
| ISBN: | 9783540209270 |
| Publication date: | 28th January 2004 |
| Author: | ADG 2002, Franz Winkler |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 229 pages |
| Series: | Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence |
| Genres: |
Geometry Maths for computer scientists Pattern recognition Discrete mathematics Artificial intelligence Graphics programming Mathematical theory of computation |
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.
Automated Deduction in Geometry features in the following genres: Geometry, Maths for computer scientists, Pattern recognition, Discrete mathematics, Artificial intelligence, Graphics programming, Mathematical theory of computation
Paperback. Not Available.
Automated Deduction in Geometry was written by ADG 2002, Franz Winkler and published by Springer an imprint of Springer Berlin Heidelberg
Automated Deduction in Geometry has 229 pages
Yes it is part of Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence series