Automated deduction in geometry : 9th international workshop, ADG 2012, Edinburgh, UK, september 17-19, 2012. Revised selected papers (2013)