{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:14Z","timestamp":1725488834766},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438656"},{"type":"electronic","value":"9783540454700"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45470-5_23","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T06:38:36Z","timestamp":1186900716000},"page":"246-258","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Meaning of Infinity in Calculus and Computer Algebra Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"Beeson","sequence":"first","affiliation":[]},{"given":"Freek","family":"Wiedijk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"23_CR1","unstructured":"Beeson, M., Mathpert Calculus Assistant. This software program (now known as MathXpert) was published in July, 1997 by Mathpert Systems, Santa Clara, CA, and is commercially available from <\n                    http:\/\/www.mathxpert.com\/\n                    \n                  >."},{"key":"23_CR2","series-title":"Texts and Monographs in Symbolic Computation","first-page":"89","volume-title":"Computer-Human Interaction in Symbolic Computation","author":"M. Beeson","year":"1998","unstructured":"Beeson, M., Design Principles of Mathpert: Software to support education in algebra and calculus, in: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, Texts and Monographs in Symbolic Computation, Springer-Verlag, Berlin\/Heidelberg\/New York (1998), pp. 89\u2013115."},{"key":"23_CR3","unstructured":"Beeson, M. MathXpert: un logiciel pour aider les \u00e9l\u00e8ves \u00e0 apprendre les math\u00e9matiques par l\u00e1ction, to appear in Sciences et Techniques Educatives. An English translation of this article under the title MathXpert: learning mathematics in the twenty-first century is available at <\n                    http:\/\/www.mathcs.sjsu.edu\/faculty\/beeson\/Pubs\/pubs.html\n                    \n                  >."},{"issue":"3","key":"23_CR4","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1142\/S0129054195000172","volume":"6","author":"M. Beeson","year":"1995","unstructured":"Beeson, M., Using nonstandard analysis to verify the correctness of computations, International Journal of Foundations of Computer Science, 6(3) (1995), pp. 299\u2013338.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"23_CR5","volume-title":"Topology","author":"K. Kuratowski","year":"1966","unstructured":"K. Kuratowski. Topology, volume 1. Academic Press, New York, London, 1966."},{"key":"23_CR6","volume-title":"Maple V Programming Guide for Release 5","author":"M. Monagan","year":"1997","unstructured":"M. Monagan, K. Geddes, K. Heal, G. Labahn, and S. Vorkoetter. Maple V Programming Guide for Release 5. Springer-Verlag, Berlin\/Heidelberg, 1997."},{"key":"23_CR7","volume-title":"Fundamentals of Topology","author":"B. Sims","year":"1976","unstructured":"B. Sims. Fundamentals of Topology. MacMillan, New York, 1976."},{"key":"23_CR8","unstructured":"Stewart. Calculus, 3rd edition, Brooks-Cole, Pacific Grove, CA 1995."},{"key":"23_CR9","volume-title":"The Mathematica book","author":"S. Wolfram","year":"1996","unstructured":"S. Wolfram. The Mathematica book. Cambridge University Press, Cambridge, 1996."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence, Automated Reasoning, and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45470-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:23:33Z","timestamp":1558275813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45470-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438656","9783540454700"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45470-5_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"21 June 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}