Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert, editors, Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Volume 6877 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Conference: adg2011

Editors

Pascal Schreck

This author has not been identified. Look up 'Pascal Schreck' in Google

Julien Narboux

This author has not been identified. Look up 'Julien Narboux' in Google

Jürgen Richter-Gebert

This author has not been identified. Look up 'Jürgen Richter-Gebert' in Google