Title: Automated development of fundamental mathematical theories
Subjects: Artificial intelligence, Automatic theorem proving, Proof theory