AN INTERACTIVE THEOREM-PROVING PROGRAM,

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)

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1969
Accession Number
AD0708074

Entities

People

  • David Luckham
  • John S. Allen

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Artificial Intelligence

Fields of Study

  • Mathematics

Readers

  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.
  • Military History of the United States in the 20th Century.