International Workshop, ADG (6 Spain 2006) Automated Deduction in Geometry [electronic resource] Proceedings ed by Francisco Botana and Tomas Recio - Berlin Springer 2007 http://dx.doi.org/10.1007/978-3-540-77356-6 ISBN: 9783540773566 Dewey Class. No.: 516.00285 / (e-book)