Computer Proofs of Limit Theorems
dc.date.accessioned | 2004-10-04T14:45:19Z | |
dc.date.accessioned | 2018-11-24T10:12:19Z | |
dc.date.available | 2004-10-04T14:45:19Z | |
dc.date.available | 2018-11-24T10:12:19Z | |
dc.date.issued | 1971-06-01 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/6191 | |
dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/6191 | |
dc.description.abstract | In 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.extent | 22804096 bytes | |
dc.format.extent | 1162044 bytes | |
dc.language.iso | en_US | |
dc.title | Computer Proofs of Limit Theorems | en_US |
Files in this item
Files | Size | Format | View |
---|---|---|---|
AIM-217.pdf | 1.162Mb | application/pdf | View/ |
AIM-217.ps | 22.80Mb | application/postscript | View/ |