Abstract
We propose to illustrate an approach to reasoned instrumentation with a Computer Algebra System (CAS). We give an overview of how a CAS works (in our case MAPLE), and also some explanations of the mathematical theories involved in the algorithms described. We point out the failures of some methods, and how we can anticipate and prevent them. We conclude by giving some personal insights on how we can use a CAS in an educational framework.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Bronstein M. (1990) On the integration of elementary functions, Journal of Symbolic Computation 9(2), 117–173.
Bronstein M. (1997) Symbolic Integration I-Transcendental Functions, Algorithms and Computations in Mathematics (Vol. 1). Heidelberg: Springer-Verlag.
Crandall R.E., Mayer E.W. & Papadopoulos J.S. (1999) The twenty-fourth Fermat number is composite, preprint.
Davenport J., Siret Y. & Tournier E. (1987) Calcul formel: systèmes et algorithmes de manipulation algébrique. Paris: Masson.
Dumas P. & Gourdon X. (1997) Maple: son bon usage en mathématiques. Berlin: Springer-Verlag.
Fortin P. Introduction au calcul formel. Paris: Texas Instruments.
Giusti M., Hägele K., Lecerf G., Marchand J. & Salvy B. (2000) Computing the Dimension of a Projective Variety: the Projective Noether Maple Package, Journal of Symbolic Computation 30(3), 291–307.
Gomez C. Salvy B. & Zimmermann P. (1995) Calcul formel: mode d’emploi, exemple en Maple. Paris: Masson.
Gruntz D. (1996) On computing Limits in a Symbolic Manipulation System, Ph.D Thesis ETHZ.
Gruntz D. (1999) Computing Limits in Computer Algebras Systems, in M.J. Wester (Ed.), Computer Algebra Systems: A practical guide (pp. 153–170). Wiley.
Jeffrey J.D. (1994) Integration to obtain expressions valid on domains of maximum extent, in M. Bronstein (Ed.), Proceeding of ISSAC 93 (pp. 34–41). ACM Press.
Jeffrey J.D. & Rich A.D. (1999) Simplifying Square Roots of Square Roots by Denesting, in M.J. Wester (Ed.), Computer Algebra Systems: A practical guide (pp. 61–72). Wiley.
Kamerich E. (1998) A Guide to Maple. New York: Springer-Verlag.
Kofler M. (1997) Maple: An Introduction and Reference. Addison Wesley.
Lazarus A.J. (1994) Implications of Computational Mathematics, in W. Gautschi (Ed.), Mathematics of Computation 1943–1993: A Half-Century of Computational Mathematics, Proceeding of Symposia in Applied Mathematics 48 (pp. 561–564). AMS.
Nizard A.F. (1997) Structure des objets Maple, exposé stage de Luminy, option Info des classes de prépa, CIRM (http://pauillac.inria.fr/~quercia/documents-info/Luminy-97/nizard/articl97.ps).
Plestsch B. (1999) Computer Algebra in Mathematics Education, in M.J. Wester (Ed.), Computer Algebra Systems: A practical guide (pp. 285–322). Wiley.
Richardson D. (1968) Some Undecidable Problems Involving Elementary Functions of a Real Variable, The Journal of Symbolic Logic 33(4), 414–520.
Trouche L. (1998) Expérimenter et prouver: faire des mathématiques au lycée avec des calculatrices symboliques. Montpellier: IREM, Université Montpellier II.
Von zur Gathen J. & Gerhard J. (1999) Modern Computer Algebra. Cambridge University.
Wester M.J. (Ed.) (1999) Computer Algebra Systems: A practical guide. Wiley.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer Science+Business Media, Inc.
About this chapter
Cite this chapter
Elbaz-Vincent, P. (2005). A Cas as an Assistant to Reasoned Instrumentation. In: Guin, D., Ruthven, K., Trouche, L. (eds) The Didactical Challenge of Symbolic Calculators. Mathematics Education Library, vol 36. Springer, Boston, MA. https://doi.org/10.1007/0-387-23435-7_3
Download citation
DOI: https://doi.org/10.1007/0-387-23435-7_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-23158-7
Online ISBN: 978-0-387-23435-9
eBook Packages: Humanities, Social Sciences and LawEducation (R0)