[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective

  • Published:
Mathematics in Computer Science Aims and scope Submit manuscript

Abstract

The computer algebra system DERIVE had a very important impact in teaching mathematics with technology, mainly in the 1990’s. The authors analyze the possible reasons for its success and impact and give personal conclusions based on the facts collected. More than 10 years after it was discontinued it is still used for teaching and several scientific papers (most devoted to educational issues) still refer to it. A summary of the history, journals and conferences together with a brief bibliographic analysis are included.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8

Similar content being viewed by others

Notes

  1. All product names, trademarks and registered trademarks are property of their respective owners.

References

  1. http://www.wordstar.org/index.php/wordstar-history

  2. https://en.wikipedia.org/wiki/WordStar

  3. https://www.wordperfect.com/en/

  4. https://www.openoffice.org/

  5. http://www.freeoffice.com/

  6. Galán-García, J.L., Aguilera-Venegas, G., Galán-García, M.A., Rodríguez-Cielos, P., Killop, I.: Improving CAS capabilities: new rules for computing improper integrals. Appl. Math. Comput. 316, 525–540 (2018)

    MathSciNet  MATH  Google Scholar 

  7. van Hulzen, J.A., Calmet, J.: Computer algebra systems. In: Buchberger, B., Collins, G.E., Lees, R. (eds.) Computer Algebra, Symbolic and Algebraic Manipulation. Springer, Vienna (1983)

    Google Scholar 

  8. Wester, M.J.: Computer Algebra Systems: A Practical Guide. Wiley, Chichester (1999)

    MATH  Google Scholar 

  9. Anonymous: Macsyma, Mathematics and System Reference Manual. Macsyma, Inc., Arlington (1996)

  10. Moses, J.: Macsyma: a personal history. J. Symb. Comput. 47(2), 123–130 (2012). https://doi.org/10.1016/j.jsc.2010.08.018

    Article  MathSciNet  MATH  Google Scholar 

  11. Pavelle, R., Wang, P.S.: MACSYMA from F to G. J. Symb. Comput. 1, 69–100 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  12. Hearn, A.C.: REDUCE user’s manual, version 3.5. RAND Publication CP 78 (1993)

  13. Hearn, A.C.: REDUCE user’s manual, version 3.8, Santa Monica (2004)

  14. Hearn, A.C.: REDUCE: the first forty years (2005). http://www.reduce-algebra.com/reduce40.pdf

  15. MacCallum, M.A.H., Wright, F.J.: Algebraic Computing with REDUCE. Oxford University Press, Oxford (1991)

    MATH  Google Scholar 

  16. Rayna, G.: REDUCE Software for Algebraic Computation. Springer, New York (1987)

    MATH  Google Scholar 

  17. http://maxima.sourceforge.net/

  18. https://reduce-algebra.sourceforge.io/

  19. http://axiom-developer.org/

  20. Jenks, R.D., Sutor, R.: AXIOM: The Scientific Computation System. Springer, New York (1992)

    MATH  Google Scholar 

  21. Aguilera, G., Galán, J.L., Galán, M.A., Rodríguez, P.: Teaching semantic tableaux method for propositional classical logic with a CAS. Int. J. Technol. Math. Educ. 22(2), 85–91 (2015)

    Google Scholar 

  22. Aguilera-Venegas, G., Galán-García, J.L., Galán-García, M.A., Lobillo-Mora, G., Martínez-del-Castillo, J., Merino-Córdoba, S., Padilla-Domínguez, Y., Rodríguez-Cielos, P., Rodríguez-Cielos, R.: Parametrization of curves and line integrals with a CAS. Int. J. Technol. Math. Educ. 24(4), 179–190 (2017)

    Google Scholar 

  23. Aspetsberger, K., Funk, G.: Experiments with muMATH in Austrian high schools. ACM SIGSAM Bull. 18–19(4–1), 4–7 (1984–1985)

  24. Barzel, B. (ed.): Teaching mathematics with derive and the TI-92. Proceedings of the International Derive and TI-92 Conference, Schloss Birlinghoven. ZKL Texte Nr. 2. ZKL, Münster (1996)

  25. Beaudin, M.: Using \(ln(|x|)\) as an antiderivative for \(\frac{1}{x}\) is a bad choice!. In: Wester, M.J., Beaudin, M. (eds.) Computer Algebra in Education, pp. 55–70. Aulonna Press, White Lake (2008)

    Google Scholar 

  26. Beaudin, M., Henri, F., Savard, G.: Integration of piecewise continuous functions. Derive Newsl. 91, 321 (2013)

    Google Scholar 

  27. Böhm, J. (ed.): Teaching Mathematics with Derive. Chartwell-Bratt, Bromley (1992)

    Google Scholar 

  28. Böhm, J.: Dimensional analysis with DERIVE. Math. Comput. Simul. 45(1–2), 197–205 (1998)

    Article  MATH  Google Scholar 

  29. Burrel, F., Cabezas, J., Roanes-Lozano, E., Roanes-Macías, E.: A survey on the use of computer algebra in spain in relationship to its secondary school system. Zent. Didakt. Math. 97(5), 149–154 (1997)

    Article  Google Scholar 

  30. Cabezas, J.: Una aplicación de DERIVE a la clase de Matemáticas. Bol. Soc. “Puig Adam” de Profr. Mat. 46, 71–78 (1997)

    Google Scholar 

  31. Cabezas, J., Roanes-Lozano, E.: Towards the abandonment of statistical tables. Pro Dialog. J. Pol. Inf. Process. Soc. 12, 67–76 (2001)

    Google Scholar 

  32. Cabezas, J., Roanes-Lozano, E.: Four experiences and some reflections about the influence of mathematical software on the mathematics curriculum. J. Sci. Res. Rep. 7(2), 154–164 (2015)

    Google Scholar 

  33. Heck, A.: Grand tour of derive. CAN Expertise Center, Amsterdam (1995). http://www.computeralgebra.nl/systemsoverview/general/derive/grandtour/derive.html

  34. Kutzler, B.: Improving Mathematics Teaching with DERIVE. Chartwell-Bratt, Bromley (1996)

    MATH  Google Scholar 

  35. Roanes-Lozano, E., Cabezas, J., Vara, M.V., Roanes-Macías, E., Ortega, P., Romo, C.: A proposal for filing the gap between the knowledge of a CAS and its application in the classroom. In: Wester, M.J., Beaudin, M. (eds.) Computer Algebra in Education, pp. 7–17. Aulonna Press, White Lake (2008)

    Google Scholar 

  36. Schmidt, K., Trenkler, G.: Moderne Matrix-Algebra: Mit Anwendungen in der Statistik. Springer, Berlin (1998)

    Book  MATH  Google Scholar 

  37. Rich, A.D.: muLISP-87 LISP Language Programming Environment. Soft Warehouse Inc., Honolulu (1987)

    Google Scholar 

  38. Rich, A.D., Stoutemeyer, D.R.: Capabilities of the MUMATH-78 computer algebra system for the INTEL-8080 microprocessor. In: EUROSAM’79 Proceedings of the International Symposium on Symbolic and Algebraic Computation, pp. 241–248. Springer, London (1979)

  39. Kutzler, B.: Mathematics on the PC—Introduction to DERIVE. Soft Warehouse Europe, Hagenberg (1994)

    MATH  Google Scholar 

  40. Rich, A.D., Rich, J., Stoutemyer, D.R.: Derive user manual. Version 2. A mathematical assistant for your personal computer. Soft Warehouse, Inc., Honolulu (1990)

  41. Rich, A.D., Rich, J., Stoutemyer, D.R.: Derive user manual. Version 3. A mathematical assistant for your personal computer. Soft Warehouse, Inc., Honolulu (1994)

  42. http://www.acdca.ac.at/kongress/

  43. Kutzler, B., Kokol-Volc, V.: Introduction to DERIVE 5. Texas Instruments (2000)

  44. Kutzler, B., Kokol-Volc, V.: Introduction to DERIVE 6. Texas Instruments (2003)

  45. Texas Instruments: TI-nspire CAS+. Math and Science Learning Technology Handheld. Texas Instrumens, Dallas (2017)

  46. https://education.ti.com/en/products/computer-software/ti-nspire-teacher-sw

  47. Roanes-Lozano, E.: An overview of the evolution of the devices running computer algebra systems and their educational implications. Electr. Electron. Technol. Open Access J. 1(1), 7–11 (2017)

    Google Scholar 

  48. Kutzler, B.: Past and future of computer algebra in mathematics education (2010). http://www.time2010.uma.es/Proceedings/Papers/A045_Paper.pdf

  49. http://www.issac-conference.org/

  50. http://math.unm.edu/aca.html

  51. http://rfdz.ph-noe.ac.at/fileadmin/Mathematik_Uploads/ACDCA/Konferenzen.pdf

  52. http://www.austromath.at/dug/

  53. http://www.researchinformation.co.uk/time.php

  54. García, A., García, F., Rodrguez-Sánchez, G., de la Villa Cuenca, A.: Could it be possible to replace DERIVE with MAXIMA? Int. J. Technol. Math. Educ. 18(3), 137–142 (2011)

    Google Scholar 

  55. Moed, H.F.: Statistical relationships between downloads and citations at the level of individual documents within a single journal. J. Am. Soc. Inf. Sci. Technol. 56(10), 1088–1097 (2005). https://doi.org/10.1002/asi.20200

    Article  Google Scholar 

  56. Aguilera, G., Galán, J.L., Madrid, R., Martínez, A.M., Padilla, Y., Rodríguez, P.: Automated generation of contrapuntal musical compositions using probabilistic logic in Derive. Math. Comput. Simul. 80(6), 1200–1211 (2010)

    Article  MathSciNet  Google Scholar 

  57. Aguilera, G., Galán, J.L., García, J.M., Mérida, E., Rodríguez, P.: An accelerated-time simulation of car traffic on a motorway using a CAS. Math. Comput. Simul. 104, 21–30 (2014)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work was partially supported by the research projects TIN2015-66471-P (Government of Spain) and CASI-CAM S2013/ICE-2845 (Comunidad Autónoma de Madrid).

Author information

Authors and Affiliations

  1. Departamento de Didáctica de las Ciencias Experimentales, Sociales y Matemáticas, Facultad de Educación, Instituto de Matemática Interdisciplinar, Universidad Complutense de Madrid, c/ Rector Royo Villanova s/n, 28040, Madrid, Spain

    Eugenio Roanes-Lozano

  2. Departamento de Matemática Aplicada, Universidad de Málaga, Málaga, c/ Dr. Ortiz Ramos s/n. Campus de Teatinos, 29071, Málaga, Spain

    Jose Luis Galán-García

  3. Departamento de Información y Comunicación, Universidad de Extremadura, Plaza de Ibn Marwan s/n, 06001, Badajoz, Spain

    Carmen Solano-Macías

Authors
  1. Eugenio Roanes-Lozano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jose Luis Galán-García
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carmen Solano-Macías
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Eugenio Roanes-Lozano.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Roanes-Lozano, E., Galán-García, J.L. & Solano-Macías, C. Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective. Math.Comput.Sci. 13, 417–431 (2019). https://doi.org/10.1007/s11786-019-00404-9

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11786-019-00404-9

Keywords

Mathematics Subject Classification

Search

Navigation