Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers - Thomas Sturm, Christoph Zengler ((Lecture Notes in Computer Science))