Realization of a geometry theorem proving machine

@inproceedings{Gelernter1959RealizationOA,
  title={Realization of a geometry theorem proving machine},
  author={H. Gelernter},
  booktitle={IFIP Congress},
  year={1959}
}
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

Citations

Publications citing this paper.
SHOWING 1-10 OF 161 CITATIONS

Diagrammatic Reasoning Systems

VIEW 8 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

The cognitive systems paradigm

VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A method of inductive machine discovery based on experimental data acquisition

  • Systems and Computers in Japan
  • 2001
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Using Diagrams to Understand Geometry

  • Computational Intelligence
  • 1998
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Abstract Planning and Perceptual Chunks: Elements of Expertise in Geometry

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Mental Models: A Survey

VIEW 11 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Parallel Algorithms for Machine Intelligence and Vision

VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

How can a physical universe produce mathematical minds ? And why

VIEW 1 EXCERPT
CITES BACKGROUND
HIGHLY INFLUENCED

Shortest-path queries in static networks

  • ACM Comput. Surv.
  • 2014
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1950
2018

CITATION STATISTICS

  • 14 Highly Influenced Citations

  • Averaged 6 Citations per year from 2017 through 2019