The meaning of infinity in calculus and computer algebra systems. Beeson, M. & Wiedijk, F. Journal of Symbolic Computation, 39(5):523-538, 2005.
![The meaning of infinity in calculus and computer algebra systems [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @article{beeson2005-wiedijk,
author = {Michael Beeson and Freek Wiedijk},
date-added = {2014-11-13 23:11:09 +0000},
date-modified = {2014-11-14 16:58:28 +0000},
journal = {Journal of Symbolic Computation},
keywords = {Logic, Symbolic computation},
number = {5},
pages = {523-538},
title = {The meaning of infinity in calculus and computer algebra systems},
url_pdf = {LimitTheory.pdf},
volume = {39},
year = {2005}}Downloads: 0
{"_id":"QdidrFW4Pfo6pheDB","bibbaseid":"beeson-wiedijk-themeaningofinfinityincalculusandcomputeralgebrasystems-2005","author_short":["Beeson, M.","Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-13 23:11:09 +0000","date-modified":"2014-11-14 16:58:28 +0000","journal":"Journal of Symbolic Computation","keywords":"Logic, Symbolic computation","number":"5","pages":"523-538","title":"The meaning of infinity in calculus and computer algebra systems","url_pdf":"LimitTheory.pdf","volume":"39","year":"2005","bibtex":"@article{beeson2005-wiedijk,\n\tauthor = {Michael Beeson and Freek Wiedijk},\n\tdate-added = {2014-11-13 23:11:09 +0000},\n\tdate-modified = {2014-11-14 16:58:28 +0000},\n\tjournal = {Journal of Symbolic Computation},\n\tkeywords = {Logic, Symbolic computation},\n\tnumber = {5},\n\tpages = {523-538},\n\ttitle = {The meaning of infinity in calculus and computer algebra systems},\n\turl_pdf = {LimitTheory.pdf},\n\tvolume = {39},\n\tyear = {2005}}\n\n","author_short":["Beeson, M.","Wiedijk, F."],"key":"beeson2005-wiedijk","id":"beeson2005-wiedijk","bibbaseid":"beeson-wiedijk-themeaningofinfinityincalculusandcomputeralgebrasystems-2005","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/LimitTheory.pdf"},"keyword":["Logic","Symbolic computation"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","symbolic computation"],"search_terms":["meaning","infinity","calculus","computer","algebra","systems","beeson","wiedijk"],"title":"The meaning of infinity in calculus and computer algebra systems","year":2005}