The meaning of infinity in calculus and computer algebra systems. Beeson, M. & Wiedijk, F. In Calmet, J., Benhamou, B., Caprotti, O., Henocque, L., & Sorge, V., editors, Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 2002, Proceedings, pages 246--258. bibtex @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 16:58:12 +0000},
editor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge},
pages = {246--258},
title = {The meaning of infinity in calculus and computer algebra systems}
}
Downloads: 0
{"_id":"pWpaDahL7aN8BRXKr","authorIDs":["546642d9bc7d6a460d00089c"],"author_short":["Beeson, M.","Wiedijk, F."],"bibbaseid":"beeson-wiedijk-themeaningofinfinityincalculusandcomputeralgebrasystems","bibdata":{"author":["Beeson, Michael","Wiedijk, Freek"],"author_short":["Beeson, M.","Wiedijk, F."],"bibtex":"@inproceedings{ beeson2002-wiedijk,\n author = {Michael Beeson and Freek Wiedijk},\n booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 2002, Proceedings},\n date-added = {2014-11-13 23:20:17 +0000},\n date-modified = {2014-11-14 16:58:12 +0000},\n editor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge},\n pages = {246--258},\n title = {The meaning of infinity in calculus and computer algebra systems}\n}","bibtype":"inproceedings","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 16:58:12 +0000","editor":["Calmet, Jacques","Benhamou, Belaid","Caprotti, Olga","Henocque, Laurent","Sorge, Volker"],"editor_short":["Calmet, J.","Benhamou, B.","Caprotti, O.","Henocque, L.","Sorge, V."],"id":"beeson2002-wiedijk","key":"beeson2002-wiedijk","pages":"246--258","title":"The meaning of infinity in calculus and computer algebra systems","type":"inproceedings","bibbaseid":"beeson-wiedijk-themeaningofinfinityincalculusandcomputeralgebrasystems","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:50.010Z","downloads":0,"keywords":[],"search_terms":["meaning","infinity","calculus","computer","algebra","systems","beeson","wiedijk"],"title":"The meaning of infinity in calculus and computer algebra systems","year":null,"dataSources":["KAm35jHTjWPkWnji4"]}