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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!