Analysing Mathematical Proofs (Or Reading Between the Lines)
Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Mathematical and Theoretical Aspects of A.I. Pages 22-27.
Abstract
We study ,equation solving and analyse the solutions of experienced mathematicians. We find that traditional theorem proving methods are inadequate to explain the directness of these solutions, and that the well kno~n algorithms for polynomials etc. are inadequate to explain the wide variety of equations solved. Our analysis reveals a system of high-level descriptions, strategies and goals, which can be used to guide the search through an explosively large search space. A few of these strategies will be investigated in detail. It is hoped that this analysis will eventually be incorporated into a computer program that solves equations.
@inproceedings{ijcai1975p4,
title = {Analysing Mathematical Proofs (Or Reading Between the Lines)},
author = {Bundy, Alan},
booktitle = {Proceedings of the Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-75}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Patrick Winston and Carl Hewitt},
pages = {22--27},
year = {1975},
note = {Mathematical and Theoretical Aspects of A.I},
url = {https://ijcai.org/proceedings/1975/4},
}
TY - CPAPER TI - Analysing Mathematical Proofs (Or Reading Between the Lines) AU - Bundy, Alan T2 - Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75 PB - International Joint Conferences on Artificial Intelligence PY - 1975 SP - 22 EP - 27 UR - https://ijcai.org/proceedings/1975/4 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
