Skip to main content
SpringerLink
Log in

A Cas as an Assistant to Reasoned Instrumentation

  • Chapter
The Didactical Challenge of Symbolic Calculators

Part of the book series: Mathematics Education Library ((MELI,volume 36))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 89.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Bronstein M. (1990) On the integration of elementary functions, Journal of Symbolic Computation 9(2), 117–173.

    Google Scholar 

  • Bronstein M. (1997) Symbolic Integration I-Transcendental Functions, Algorithms and Computations in Mathematics (Vol. 1). Heidelberg: Springer-Verlag.

    Google Scholar 

  • Crandall R.E., Mayer E.W. & Papadopoulos J.S. (1999) The twenty-fourth Fermat number is composite, preprint.

    Google Scholar 

  • Davenport J., Siret Y. & Tournier E. (1987) Calcul formel: systèmes et algorithmes de manipulation algébrique. Paris: Masson.

    Google Scholar 

  • Dumas P. & Gourdon X. (1997) Maple: son bon usage en mathématiques. Berlin: Springer-Verlag.

    Google Scholar 

  • Fortin P. Introduction au calcul formel. Paris: Texas Instruments.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • Gomez C. Salvy B. & Zimmermann P. (1995) Calcul formel: mode d’emploi, exemple en Maple. Paris: Masson.

    Google Scholar 

  • Gruntz D. (1996) On computing Limits in a Symbolic Manipulation System, Ph.D Thesis ETHZ.

    Google Scholar 

  • Gruntz D. (1999) Computing Limits in Computer Algebras Systems, in M.J. Wester (Ed.), Computer Algebra Systems: A practical guide (pp. 153–170). Wiley.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Kamerich E. (1998) A Guide to Maple. New York: Springer-Verlag.

    Google Scholar 

  • Kofler M. (1997) Maple: An Introduction and Reference. Addison Wesley.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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).

    Google Scholar 

  • Plestsch B. (1999) Computer Algebra in Mathematics Education, in M.J. Wester (Ed.), Computer Algebra Systems: A practical guide (pp. 285–322). Wiley.

    Google Scholar 

  • Richardson D. (1968) Some Undecidable Problems Involving Elementary Functions of a Real Variable, The Journal of Symbolic Logic 33(4), 414–520.

    Google Scholar 

  • Trouche L. (1998) Expérimenter et prouver: faire des mathématiques au lycée avec des calculatrices symboliques. Montpellier: IREM, Université Montpellier II.

    Google Scholar 

  • Von zur Gathen J. & Gerhard J. (1999) Modern Computer Algebra. Cambridge University.

    Google Scholar 

  • Wester M.J. (Ed.) (1999) Computer Algebra Systems: A practical guide. Wiley.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. UMR CNRS & Département de Mathématiques, Université Montpellier II, France

    Philippe Elbaz-Vincent

Authors
  1. Philippe Elbaz-Vincent
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Université Montpellier II, France

    Dominique Guin  & Luc Trouche  & 

  2. University of Cambridge, UK

    Kenneth Ruthven

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation