Discovery and Reasoning in Mathematics
Proceedings of the Ninth International Joint Conference on Artificial Intelligence. General. Pages 1221-1229.
Abstract
We discuss the automation of mathematical reasoning, s urveying the abilities displayed by human mathematicians and the computational techniques available for automating these abilities. We argue the importance of the simultaneaus study of tliese techniques, because problems inherent in one technique can often be solved if it is able to interact with others.
Alan Bundy. 1985. Discovery and Reasoning in Mathematics. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 1221–1229. https://ijcai.org/proceedings/1985/246
Bundy, A. (1985). Discovery and Reasoning in Mathematics. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 (pp. 1221–1229). IJCAI. https://ijcai.org/proceedings/1985/246
@inproceedings{ijcai1985p246,
title = {Discovery and Reasoning in Mathematics},
author = {Bundy, Alan},
booktitle = {Proceedings of the Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-85}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Aravind Joshi},
pages = {1221--1229},
year = {1985},
note = {General},
url = {https://ijcai.org/proceedings/1985/246},
}
TY - CPAPER TI - Discovery and Reasoning in Mathematics AU - Bundy, Alan T2 - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 PB - International Joint Conferences on Artificial Intelligence PY - 1985 SP - 1221 EP - 1229 UR - https://ijcai.org/proceedings/1985/246 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
