Title: Geometric reasoning for perception and action
Subjects: Computer vision, Robotics, Congresses, Artificial intelligence, Automatic theorem proving, Geometrical models