Automated Deduction in Geometry (ADG)

6. ADG 2006: Pontevedra, Spain

Francisco Botana, Tomás Recio (Eds.): Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Lecture Notes in Computer Science 4869 Springer 2007, ISBN 978-3-540-77355-9
Contents

5. ADG 2004: Gainesville, FL, USA

Hoon Hong, Dongming Wang (Eds.): Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Lecture Notes in Computer Science 3763 Springer 2006, ISBN 3-540-31332-X
Contents

4. ADG 2002: Hagenberg Castle, Austria

Franz Winkler (Ed.): Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers. Lecture Notes in Computer Science 2930 Springer 2004, ISBN 3-540-20927-1
Contents

3. ADG 2000: Zurich, Switzerland

Jürgen Richter-Gebert, Dongming Wang (Eds.): Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers. Lecture Notes in Computer Science 2061 Springer 2001, ISBN 3-540-42598-5
Contents

2. ADG 1998: Beijing, China

Xiao-Shan Gao, Dongming Wang, Lu Yang (Eds.): Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings. Lecture Notes in Computer Science 1669 Springer 1999, ISBN 3-540-66672-9
Contents

1. ADG 1996: Toulouse, France

Dongming Wang (Ed.): Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers. Lecture Notes in Computer Science 1360 Springer 1997, ISBN 3-540-64297-8
Contents