Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers - Botana, Francisco; Recio, Tomas; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer science; Computational complexity; Artificial intelligence; Computer graphics; Optical pattern recognition; Discrete groups; Computer Science; Artificial Intelligence (incl. Robotics); Computer Graphics; Mathematical Logic and Formal Languages; Pattern Recognition; Discrete Mathematics in Computer Science; Convex and Discrete Geometry