loading...
Fifth International WorkshoponAutomated 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.
ADG 2004 Proceedings,Lecture Notes in Computer Science Volume 3763 2006