Title: Automated Theory Formation in Pure Mathematics
Subjects: Mathematics, Methodology, Data processing, Artificial intelligence, Automatic theorem proving, Expert systems (Computer science), Mathematics, methodology, Expert systems (computer science)