This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for th

Handbook of Automated Reasoning.

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in To

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg