Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers - Botana, Francisco; Quaresma, Pedro (Springer International Publishing : Imprint: Springer, 2015)