Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers - Sturm, Thomas; Zengler, Christoph; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Logic design; Computational complexity; Artificial intelligence; Computer graphics; Discrete groups; Computer Science; Artificial Intelligence (incl. Robotics).; Computer Graphics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Discrete Mathematics in Computer Science; Convex and Discrete Geometry