Publisher's Synopsis
Constitutes the refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004. This work addresses theoretical and methodological topics is this area as well as applications thereof.