Title: Geometric reasoning
Subjects: Computer vision, Robotics, Congresses, Artificial intelligence, Automatic theorem proving, Logic machines