@article{freek2005,
	Author = {Michael Beeson and Freek Wiedijk},
	Date-Added = {2014-11-13 23:11:09 +0000},
	Date-Modified = {2014-11-16 22:29: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 = {http://www.cs.ru.nl/F.Wiedijk/pubs/limits1.pdf},
	Volume = {39},
	Year = {2005}}

{"_id":"8YBemQP5pGWzkiaH6","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M.","Wiedijk, F."],"bibbaseid":"beeson-wiedijk-themeaningofinfinityincalculusandcomputeralgebrasystems-2005","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-16 22:29: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":"http://www.cs.ru.nl/F.Wiedijk/pubs/limits1.pdf","volume":"39","year":"2005","bibtex":"@article{freek2005,\n\tAuthor = {Michael Beeson and Freek Wiedijk},\n\tDate-Added = {2014-11-13 23:11:09 +0000},\n\tDate-Modified = {2014-11-16 22:29: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 = {http://www.cs.ru.nl/F.Wiedijk/pubs/limits1.pdf},\n\tVolume = {39},\n\tYear = {2005}}\n\n","author_short":["Beeson, M.","Wiedijk, F."],"key":"freek2005","id":"freek2005","bibbaseid":"beeson-wiedijk-themeaningofinfinityincalculusandcomputeralgebrasystems-2005","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/limits1.pdf"},"keyword":["Logic","Symbolic computation"],"metadata":{"authorlinks":{"beeson, m":"http://www.michaelbeeson.com/research/papers/pubs.html"}},"html":""},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","creationDate":"2014-11-14T17:58:50.040Z","downloads":2,"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,"dataSources":["v9esbf6gQ8h64d3NA","dCR2SmaT7gnYejraT"]}