The meaning of infinity in calculus and computer algebra systems

Journal of Symbolic Computation

Volumn 39, Issue 5 SPEC. ISS., 2005, Pages 523-538

  Beeson, Michael ^a   Wiedijk, Freek ^b  

^a SAN JOSE STATE UNIVERSITY   (United States)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Computer algebra; Filters; High school calculus; Infinity; Interval arithmetic; Limits; Non standard analysis; Semantics

Indexed keywords

EID: 17044411640     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2004.12.002     Document Type: Article

References (12)

1. M. Beeson Mathpert: Computer support for learning algebra, trigonometry, and calculus In A. Voronkov (Ed) Logic Programming and Automated Reasoning In Lecture Notes in Artificial Intelligence vol. 624 1992 Springer-Verlag Berlin, Heidelberg, New York
2. M. Beeson Using nonstandard analysis to verify the correctness of computations International Journal of Foundations of Computer Science 6 3 1995 299-338
3. Beeson M., 1997. 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 http://www.mathxpert.com
4. M. Beeson Design Principles of Mathpert: Software to support education in algebra and calculus In: N. Kajler (Ed) Computer-Human Interaction in Symbolic Computation In: Texts and Monographs in Symbolic Computation 1998 Springer-Verlag Berlin, Heidelberg, New York pp. 89-115
5. M. Beeson MathXpert: Un logiciel pour aider les élèves à apprendre les mathématiques par l'action Sciences et techniques éducatives 9 1 2002 37-62 An English translation of this article under the title MathXpert: Learning mathematics in the twenty-first century is availble at http://www.mathcs.sjsu.edu/faculty/ beeson/Pubs/pubs.html.
6. R. Bradford R. Corless J.H. Davenport D.J. Jeffrey S.M. Watt Reasoning about the elementary functions of complex analysis Annals of Mathematics and Artificial Intelligence 36 2002 303-318
7. K. Kuratowski Topology vol 1 1966 Academic Press New York, London
8. M. Monagan K. Geddes K. Heal G. Labahn S. Vorkoetter Maple V Programming Guide for Release 5 1997 Springer-Verlag Berlin, Heidelberg
9. B. Sims Fundamentals of Topology 1976 MacMillan New York
10. J. Stewart Calculus 3rd edition 1995 Brooks-Cole Pacific Grove, CA
11. D. Stoutemeyer Crimes and misdemeanors in the computer algebra trade Notices AMS 38 1991 779-785
12. S. Wolfram The Mathematica Book 1996 Cambridge University Press Cambridge