Automated Deduction in Geometry: Revised Selected Papers/10th International Workshop, ADG 2014, Coimbra, Portugal, July 2014

Automated Deduction in Geometry: Revised Selected Papers/10th International Workshop, ADG 2014, Coimbra, Portugal, July 2014Ed. by Botana F., Quaresma P..-Berlin.: Springer, 2015.-Vol. 9201.-181 p.-(Lecture Notes in Artificial Intelligence).