This book constitutes the thoroughly refereed post-workshop
proceedings of the 8th International Workshop on Automated
Deduction in Geometry, ADG 2010, held in Munich, Germany in July
2010.
The 13 revised full papers presented were carefully selected during
two rounds of reviewing and improvement from the lectures given at
the workshop. Topics addressed by the papers are incidence geometry
using some kind of combinatoric argument; computer algebra;
software implementation; as well as logic and proof assistants.
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
