Automated deduction in geometry 10th international workshop, ADG 2014, Coimbra, Portugal, July 9 - 11, 2014 ; revised selected papers (Springer, 2015)