This book presents the thoroughly refereed post-proceedings of
the 5th International Workshop on Automated Deduction in Geometry,
ADG 2004, held at Gainesville, FL, USA in September 2004.
The 12 revised full papers presented aurvey current issues
theoretical and methodological topics as well as applications
thereof - in particular automated geometry theorem proving,
automated geometry problem solving, problems of dynamic geometry,
and an object-oriented language for geometric objects.
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!