Fifth International Workshop
Automated Deduction in Geometry
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools on the intersection between geometry and automated deduction.
The previous four workshops were held in Linz 2002, Zurich 2000, Beijing 1998, and Toulouse 1996.
The fifth workshop ADG 2004 is hosted by University of Florida in Gainesville Florida, USA during September 16-18, 2004 .
ADG2004 on the way to the Butterfly Vivarium.