An examination of the geometry theorem machine

Artificial Intelligence

Volumn 1, Issue 3-4, 1970, Pages 171-187

  Gilmore, P C ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 25844480239     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(70)90005-6     Document Type: Article

References (11)

1. An examination of the geometry theorem machine
2. Meetkundige bewijzen door de computer
3. Intelligent behavior in problem-solving machines
4. Realization of a geometry theorem-proving machine
5. A note on syntactic symmetry and the manipulation of formal systems by machine
6. Empirical explorations of the geometry theorem machine
7. Machine generated problem solving graphs
8. A proof procedure for quantification theory its justification and realization
9. A review of automatic theorem-proving
10. Semi-automated mathematics