Title :
Computer learning in theorem proving
Author :
Johnson, David L. ; Holden, A.D.C.
Author_Institution :
University of Washington, Seattle, Wash.
Abstract :
Trigonometric theorem proofs are taken as the application for the learning model described in this paper. The simple basic structure of the heuristics together with the detailed implementation are developed, with evaluation as to possible generality in more general problem-solving processes.
Keywords :
Computational modeling; Computers; Mathematical model; Problem-solving; Standards;
Journal_Title :
Systems Science and Cybernetics, IEEE Transactions on
DOI :
10.1109/TSSC.1966.6593093
