Title: Automated Deduction in Geometry
            
                Lecture Notes in Artificial Intelligence
Subjects: Mathematical Logic and Formal Languages, Computational complexity, Computer graphics, Discrete Mathematics in Computer Science, Software engineering, Algebra, Symbolic and Algebraic Manipulation, Computer science, Data processing, Artificial intelligence, Artificial Intelligence (incl. Robotics), Geometry, data processing, Automatic theorem proving, Logic, symbolic and mathematical