Skip to main content
Erschienen in: Mathematics in Computer Science 3/2019

04.07.2019

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

verfasst von: Eugenio Roanes-Lozano, Jose Luis Galán-García, Carmen Solano-Macías

Erschienen in: Mathematics in Computer Science | Ausgabe 3/2019

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Fußnoten
1
All product names, trademarks and registered trademarks are property of their respective owners.
 
Literatur
6.
Zurück zum Zitat 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)MathSciNetMATH 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)MathSciNetMATH
7.
Zurück zum Zitat 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) 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)
8.
Zurück zum Zitat Wester, M.J.: Computer Algebra Systems: A Practical Guide. Wiley, Chichester (1999)MATH Wester, M.J.: Computer Algebra Systems: A Practical Guide. Wiley, Chichester (1999)MATH
9.
Zurück zum Zitat Anonymous: Macsyma, Mathematics and System Reference Manual. Macsyma, Inc., Arlington (1996) Anonymous: Macsyma, Mathematics and System Reference Manual. Macsyma, Inc., Arlington (1996)
12.
Zurück zum Zitat Hearn, A.C.: REDUCE user’s manual, version 3.5. RAND Publication CP 78 (1993) Hearn, A.C.: REDUCE user’s manual, version 3.5. RAND Publication CP 78 (1993)
13.
Zurück zum Zitat Hearn, A.C.: REDUCE user’s manual, version 3.8, Santa Monica (2004) Hearn, A.C.: REDUCE user’s manual, version 3.8, Santa Monica (2004)
15.
Zurück zum Zitat MacCallum, M.A.H., Wright, F.J.: Algebraic Computing with REDUCE. Oxford University Press, Oxford (1991)MATH MacCallum, M.A.H., Wright, F.J.: Algebraic Computing with REDUCE. Oxford University Press, Oxford (1991)MATH
16.
Zurück zum Zitat Rayna, G.: REDUCE Software for Algebraic Computation. Springer, New York (1987)MATH Rayna, G.: REDUCE Software for Algebraic Computation. Springer, New York (1987)MATH
20.
Zurück zum Zitat Jenks, R.D., Sutor, R.: AXIOM: The Scientific Computation System. Springer, New York (1992)MATH Jenks, R.D., Sutor, R.: AXIOM: The Scientific Computation System. Springer, New York (1992)MATH
21.
Zurück zum Zitat 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) 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)
22.
Zurück zum Zitat 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) 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)
23.
Zurück zum Zitat Aspetsberger, K., Funk, G.: Experiments with muMATH in Austrian high schools. ACM SIGSAM Bull. 18–19(4–1), 4–7 (1984–1985) Aspetsberger, K., Funk, G.: Experiments with muMATH in Austrian high schools. ACM SIGSAM Bull. 1819(4–1), 4–7 (1984–1985)
24.
Zurück zum Zitat 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) 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.
Zurück zum Zitat 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) 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)
26.
Zurück zum Zitat Beaudin, M., Henri, F., Savard, G.: Integration of piecewise continuous functions. Derive Newsl. 91, 321 (2013) Beaudin, M., Henri, F., Savard, G.: Integration of piecewise continuous functions. Derive Newsl. 91, 321 (2013)
27.
Zurück zum Zitat Böhm, J. (ed.): Teaching Mathematics with Derive. Chartwell-Bratt, Bromley (1992) Böhm, J. (ed.): Teaching Mathematics with Derive. Chartwell-Bratt, Bromley (1992)
28.
Zurück zum Zitat Böhm, J.: Dimensional analysis with DERIVE. Math. Comput. Simul. 45(1–2), 197–205 (1998)CrossRefMATH Böhm, J.: Dimensional analysis with DERIVE. Math. Comput. Simul. 45(1–2), 197–205 (1998)CrossRefMATH
29.
Zurück zum Zitat 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)CrossRef 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)CrossRef
30.
Zurück zum Zitat Cabezas, J.: Una aplicación de DERIVE a la clase de Matemáticas. Bol. Soc. “Puig Adam” de Profr. Mat. 46, 71–78 (1997) Cabezas, J.: Una aplicación de DERIVE a la clase de Matemáticas. Bol. Soc. “Puig Adam” de Profr. Mat. 46, 71–78 (1997)
31.
Zurück zum Zitat Cabezas, J., Roanes-Lozano, E.: Towards the abandonment of statistical tables. Pro Dialog. J. Pol. Inf. Process. Soc. 12, 67–76 (2001) Cabezas, J., Roanes-Lozano, E.: Towards the abandonment of statistical tables. Pro Dialog. J. Pol. Inf. Process. Soc. 12, 67–76 (2001)
32.
Zurück zum Zitat 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) 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)
34.
Zurück zum Zitat Kutzler, B.: Improving Mathematics Teaching with DERIVE. Chartwell-Bratt, Bromley (1996)MATH Kutzler, B.: Improving Mathematics Teaching with DERIVE. Chartwell-Bratt, Bromley (1996)MATH
35.
Zurück zum Zitat 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) 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)
36.
Zurück zum Zitat Schmidt, K., Trenkler, G.: Moderne Matrix-Algebra: Mit Anwendungen in der Statistik. Springer, Berlin (1998)CrossRefMATH Schmidt, K., Trenkler, G.: Moderne Matrix-Algebra: Mit Anwendungen in der Statistik. Springer, Berlin (1998)CrossRefMATH
37.
Zurück zum Zitat Rich, A.D.: muLISP-87 LISP Language Programming Environment. Soft Warehouse Inc., Honolulu (1987) Rich, A.D.: muLISP-87 LISP Language Programming Environment. Soft Warehouse Inc., Honolulu (1987)
38.
Zurück zum Zitat 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) 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.
Zurück zum Zitat Kutzler, B.: Mathematics on the PC—Introduction to DERIVE. Soft Warehouse Europe, Hagenberg (1994)MATH Kutzler, B.: Mathematics on the PC—Introduction to DERIVE. Soft Warehouse Europe, Hagenberg (1994)MATH
40.
Zurück zum Zitat 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) 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.
Zurück zum Zitat 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) 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)
43.
Zurück zum Zitat Kutzler, B., Kokol-Volc, V.: Introduction to DERIVE 5. Texas Instruments (2000) Kutzler, B., Kokol-Volc, V.: Introduction to DERIVE 5. Texas Instruments (2000)
44.
Zurück zum Zitat Kutzler, B., Kokol-Volc, V.: Introduction to DERIVE 6. Texas Instruments (2003) Kutzler, B., Kokol-Volc, V.: Introduction to DERIVE 6. Texas Instruments (2003)
45.
Zurück zum Zitat Texas Instruments: TI-nspire CAS+. Math and Science Learning Technology Handheld. Texas Instrumens, Dallas (2017) Texas Instruments: TI-nspire CAS+. Math and Science Learning Technology Handheld. Texas Instrumens, Dallas (2017)
47.
Zurück zum Zitat 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) 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)
54.
Zurück zum Zitat 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) 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)
56.
Zurück zum Zitat 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)MathSciNetCrossRef 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)MathSciNetCrossRef
57.
Zurück zum Zitat 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)MathSciNetCrossRef 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)MathSciNetCrossRef
Metadaten
Titel
Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective
verfasst von
Eugenio Roanes-Lozano
Jose Luis Galán-García
Carmen Solano-Macías
Publikationsdatum
04.07.2019
Verlag
Springer International Publishing
Erschienen in
Mathematics in Computer Science / Ausgabe 3/2019
Print ISSN: 1661-8270
Elektronische ISSN: 1661-8289
DOI
https://doi.org/10.1007/s11786-019-00404-9

Weitere Artikel der Ausgabe 3/2019

Mathematics in Computer Science 3/2019 Zur Ausgabe

EditorialNotes

Foreword