Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, july 9-11, 2014, revised selected papers (2015)