Accession Number : AD0708074

Title :   AN INTERACTIVE THEOREM-PROVING PROGRAM,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Allen,John ; Luckham,David

Report Date : OCT 1969

Pagination or Media Count : 32

Abstract : The report presents an outline of the principle features of an on-line interactive theorem-proving program, and a brief account of the results of some experiments with it. The program has been used to obtain proofs of new mathematical results recently announced without proof in the Notices of the American Mathematical Society. (Author)

Descriptors :   (*MATHEMATICAL LOGIC, COMPUTER PROGRAMMING), IDENTITIES, ALGORITHMS, ARTIFICIAL INTELLIGENCE

Subject Categories : Theoretical Mathematics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE