Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Francisco Botana Tomás Recio 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 978-3-540-77355-9 Automated Deduction in Geometry db/conf/adg/adg2006.html