Realization of a geometry theorem proving machine

  title={Realization of a geometry theorem proving machine},
  author={H. Gelernter},
  booktitle={IFIP Congress},
Introduction Few of those who have seen a modern high-speed digital computer digest and transform a mass of data in less time than it takes to follow the process in the mind can suppress a certain amount of speculation concerning the future of such machines. Under the assumption that the computer is operating at the mere threshhold of its capacity in performing the tasks we have thus far delegated to it, a long-range program directed at the problem of "intelligent" behavior and learning in… CONTINUE READING
Highly Influential
This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.
Showing 1-10 of 166 extracted citations

Diagrammatic Reasoning Systems

View 8 Excerpts
Highly Influenced

The Cognitive Systems Paradigm

View 5 Excerpts
Highly Influenced

On Automating Diagrammatic Proofs of Arithmetic Arguments

Journal of Logic, Language and Information • 1999
View 5 Excerpts
Highly Influenced

Using Diagrams to Understand Geometry

Computational Intelligence • 1998
View 4 Excerpts
Highly Influenced

Mental Models: A Survey

View 11 Excerpts
Highly Influenced

Parallel Algorithms for Machine Intelligence and Vision

Symbolic Computation • 1990
View 10 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…