Title: From insight to proof
Subjects: Mathematics, Data processing, Mathematical linguistics, Automatic theorem proving