Title: Diagrammatic reasoning
Subjects: Image processing, Artificial intelligence, Problem solving, Automatic theorem proving