Computer Proofs of Limit Theorems

@article{Bledsoe1971ComputerPO,
  title={Computer Proofs of Limit Theorems},
  author={W. W. Bledsoe and Robert S. Boyer and William H. Henneman},
  journal={Artif. Intell.},
  year={1971},
  volume={3},
  pages={27-60}
}
Some re lat ive ly simple concepts have been developed which, when incorporated into existing automatic theorem proving programs (including those using resolut ion), enable them to prove e f f i c ien t l y a number of the l im i t theorems of elementary calculus, including the theorem that d i f f e r e n t i a t e functions are con­ tinuous. These concepts include: (1) A l imited theory of types, to designate whether a given variable belongs to a certain interval on the real l i ne , (2) An… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-6 of 6 references

Planner," M.I.T A

  • Carl Hewitt
  • I . Memo No
  • 1970
2 Excerpts

Introduction to MetamathematicsL

  • S. C. Kleene
  • New York,
  • 1952
1 Excerpt

, " A MachineOriented Logic Based on the Resolution Pr inc ip le

  • J. A. Robinson

Similar Papers

Loading similar papers…