Highly Influenced

# 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} }

- Published 1971 in IJCAI
DOI:10.1016/0004-3702(72)90041-0

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