Discovery and Reasoning in Mathematics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We discuss the automation of mathematical reasoning, surveying the abilities displayed by human mathematicians and the computational techniques available for automating these abilities. We argue the importance of the simultaneous study of these techniques, because problems inherent in one technique can often be solved if it is able to interact with others.
Original languageEnglish
Title of host publicationProceeding IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Publication statusPublished - 1985


Dive into the research topics of 'Discovery and Reasoning in Mathematics'. Together they form a unique fingerprint.

Cite this