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

{"_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":"https://michaelbeeson.com/research/papers/LimitTheory.pdf"},"keyword":["Logic","Symbolic computation"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"article","biburl":"https://michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA","dCR2SmaT7gnYejraT","egXfKYX4HLN96MWsP"],"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,"downloads":1}