Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers - Ida, Tetsuo (Springer, 2013)