@inproceedings{beeson2002-wiedijk,
	author = {Michael Beeson and Freek Wiedijk},
	booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 2002, Proceedings},
	date-added = {2014-11-13 23:20:17 +0000},
	date-modified = {2014-11-14 18:15:19 +0000},
	editor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge},
	keywords = {Logic, Symbolic computation},
	pages = {246-258},
	title = {The meaning of infinity in calculus and computer algebra systems},
	year = {2002}}

{"_id":"f4ZBzTraFq6599wSH","authorIDs":["2SdAzEbDMovr39m3H","4zHeuQRwDkMD6Xqr8","546642d9bc7d6a460d00089c","5de8d43e9e80cdde01000195","5defeac014db5cdf0100007c","5dfc2497ff6df7de01000070","5e03ae17a94129de0100000d","5e0dc417c7ca67df01000109","5e13f6acf8aa5dde01000042","5e2f4a4c26e5cadf0100001c","5e51bde132046bdf0100010a","5e51e8358240c0df01000020","5e69258d662319de010002c5","646esaGECfJjWFymd","7mrKCLm7cPiKm5CWg","B6skFWJok43hJg7At","BGLwXT98q3Kfv9QTj","QcRbyYqcCRCSzhNb4","SsSrsyDc8aoqbnh2Y","TqZdHatzyaM88iEPt","WRMwE6oZ4X9x2raNz","XXmWhRQTdX28SvTMv","Y6CDZWnAjiy5nMvqw","Z3LjuYrif98QXhXZM","b6rQCmwcvrZxCNy6n","bo9wnnFY7yzdyp7Ys","bzE2DwxKMcdB45SRa","chfLHypwisu7qBotT","dZMcb62spBJnnjs3t","dpRM5cTGAFrusW55R","gKswhtTyf2MZBNzTm","ggWmAzYnJEh8XEXgn","gpNwNhYtCK7mSpaXS","hH3KZcgia6CKuCB3K","iGE2RbobA9XCL82JW","kTLoeuwJ8R9Lz7wYx","ntERk8MYJbwtJvdLg","pCMiYg5EBwjkwPqC5","tKZHk67ZbM8m8gTG5","wREPnWGHjcJZafazQ","wwTsH4RwBNarDwfdT"],"author_short":["Beeson, M.","Wiedijk, F."],"bibbaseid":"beeson-wiedijk-themeaningofinfinityincalculusandcomputeralgebrasystems-2002","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 2002, Proceedings","date-added":"2014-11-13 23:20:17 +0000","date-modified":"2014-11-14 18:15:19 +0000","editor":[{"firstnames":["Jacques"],"propositions":[],"lastnames":["Calmet"],"suffixes":[]},{"firstnames":["Belaid"],"propositions":[],"lastnames":["Benhamou"],"suffixes":[]},{"firstnames":["Olga"],"propositions":[],"lastnames":["Caprotti"],"suffixes":[]},{"firstnames":["Laurent"],"propositions":[],"lastnames":["Henocque"],"suffixes":[]},{"firstnames":["Volker"],"propositions":[],"lastnames":["Sorge"],"suffixes":[]}],"keywords":"Logic, Symbolic computation","pages":"246-258","title":"The meaning of infinity in calculus and computer algebra systems","year":"2002","bibtex":"@inproceedings{beeson2002-wiedijk,\n\tauthor = {Michael Beeson and Freek Wiedijk},\n\tbooktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 2002, Proceedings},\n\tdate-added = {2014-11-13 23:20:17 +0000},\n\tdate-modified = {2014-11-14 18:15:19 +0000},\n\teditor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge},\n\tkeywords = {Logic, Symbolic computation},\n\tpages = {246-258},\n\ttitle = {The meaning of infinity in calculus and computer algebra systems},\n\tyear = {2002}}\n\n","author_short":["Beeson, M.","Wiedijk, F."],"editor_short":["Calmet, J.","Benhamou, B.","Caprotti, O.","Henocque, L.","Sorge, V."],"key":"beeson2002-wiedijk","id":"beeson2002-wiedijk","bibbaseid":"beeson-wiedijk-themeaningofinfinityincalculusandcomputeralgebrasystems-2002","role":"author","urls":{},"keyword":["Logic","Symbolic computation"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T18:09:19.507Z","downloads":0,"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":2002,"dataSources":["v9esbf6gQ8h64d3NA"]}