Show simple item record

Computer Proofs of Limit Theorems

dc.date.accessioned2004-10-04T14:45:19Z
dc.date.accessioned2018-11-24T10:12:19Z
dc.date.available2004-10-04T14:45:19Z
dc.date.available2018-11-24T10:12:19Z
dc.date.issued1971-06-01en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6191
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/6191
dc.description.abstractIn this paper we describe some relatively simple changes that have been made to an existing automatic theorem proving program to enable it to prove efficiently a number of the limit theorems of elementary calculus. These changes include subroutines of a general nature which apply to all areas of analysis , and a special "limit-heuristic" design for the limit theorems of calculus.en_US
dc.format.extent22804096 bytes
dc.format.extent1162044 bytes
dc.language.isoen_US
dc.titleComputer Proofs of Limit Theoremsen_US


Files in this item

FilesSizeFormatView
AIM-217.pdf1.162Mbapplication/pdfView/Open
AIM-217.ps22.80Mbapplication/postscriptView/Open

This item appears in the following Collection(s)

Show simple item record