Discovery and Reasoning in Mathematics
Abstract
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.
Cite
Text
Bundy. "Discovery and Reasoning in Mathematics." International Joint Conference on Artificial Intelligence, 1985.Markdown
[Bundy. "Discovery and Reasoning in Mathematics." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/bundy1985ijcai-discovery/)BibTeX
@inproceedings{bundy1985ijcai-discovery,
title = {{Discovery and Reasoning in Mathematics}},
author = {Bundy, Alan},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1985},
pages = {1221-1230},
url = {https://mlanthology.org/ijcai/1985/bundy1985ijcai-discovery/}
}