Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers - Sturm, Thomas; Zengler, Christoph (Springer Berlin Heidelberg, 2011)