Title: Automated Deduction in Geometry
Subjects: Logic design, Computational complexity, Computer graphics, Discrete groups, Computer science, Artificial intelligence, Geometry, Informatique, Congresses, Data processing, Automatic theorem proving, Geometry, data processing, Logic, symbolic and mathematical, Convex and Discrete Geometry, Discrete Mathematics in Computer Science, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics), Software engineering, Algebra, Symbolic and Algebraic Manipulation