Automated deduction in geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers /

av International Workshop on Automated Deduction in Geometry, Botana, Francisco., Recio, Tomas.
Publicerad 2007.

Automated deduction in geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004: revised papers /

av International Workshop on Automated Deduction in Geometry, Hong, Hoon., Wang, Dongming.
Publicerad 2006.