Computer Algebra in Education

at ACA'2017 to be held July 17-21 at the Jerusalem College of Technology, Jerusalem, Israel


Michel Beaudin, ÉTS, Canada
Michael Wester, University of New Mexico, USA
Alkis Akritas, University of Thessaly, Greece
José Luis Galán García, Universidad de Málaga, Spain
Elena Varbanova, Technical University of Sofia, Bulgaria
Anatoli Kouropatov, Center for Educational Technology, Israel
Sara Hershkovitz, Center for Educational Technology, Israel


Education has become one of the fastest growing application areas for computers in general and computer algebra in particular. Computer Algebra Systems (CAS) make for powerful teaching and learning tools within mathematics, physics, chemistry, biology, economics, etc. Among them are:
(a) the commercial "heavy weights" such as Casio ClassPad 330, Derive, Magma, Maple, Mathematica, MuPAD, TI NSpire CAS, and
(b) the free software/open source systems such as Axiom, Euler, Fermat, wxMaxima, Reduce, and the rising stars such as GeoGebra, Sage, SymPy and Xcas (the swiss knife for mathematics).

The goal of this session is to exchange ideas, discuss classroom experiences, and to explore significant issues relating to CAS tools/use within education. Subjects of interest for this session will include new CAS-based teaching/learning strategies, curriculum changes, new support materials, assessment practices from all scientific fields, and experiences of joint use of applied mathematics and CAS.

We emphasize that all levels of education are welcome, from high school to university, and that all domains are welcome, including teacher training, engineer training, etc.

If you would like your talk to be focused on school education, please indicate in your submission that what you propose should be part of the block Using digital algebraic systems in learning and teaching mathematics in Primary, Secondary and High School.

If you are interested in proposing a talk, please send an abstract to Michel Beaudin. Please use this LaTeX template for your abstract and send both the LaTeX source and a compiled PDF version. We suggest that abstracts be at least half a page including references.


  1. Using the Universal Math Environment ``Math-XPress'' for teaching and assessment of math courses (1 hour)
    (Philip Slobodsky, Alexander Ocheretovy, Eugine Roiz and Anatoly Shtarkman, Israel and Russia)
  2. DUDAMATH - The Digital Environment for Demonstrating Mathematical Ideas and Problem Solving
    (Ethan Hall, Leo Zak, Shirley Gitelman and Anatoli Kouropatov, Israel)
  3. Computer Algebra in Online STEM Education
    (C. James Cooper and Stephen M. Watt, Waterloo, Canada)
  4. The use of digital tools to confront errors
    (Regina Ovodenjo and Anatoli Kouropatov, Center for Educational Technology, Israel)
  5. Supporting Mathematical Thinking with CAS: The Need of Epistemic Change Among Teachers
    (Rotem Abdu, Levinsky College, Tel-Aviv, Israel)
  6. Active learning in High-School mathematics using Interactive Interfaces
    (E.S. Cheb-Terrab and K. von Bülow, Maplesoft R&D, Canada)
  7. Dynamic Computer Illustrations and Didactic Considerations in the Learning and Teaching of Mathematics
    (Michal Fraenkel, Center for Educational Technology, Israel)
  8. Activities in Geometry built with GeoGebra around traditional Jewish artifacts
    (Th. Dana-Picard and S. Hershkovitz, Israel)
  9. Dynamic Geometry Software Supplemented with Computer Algebra as a proving tool
    (R. Hašek, University of South Bohemia, Czech Republic)
  10. Geometric constructions problems in dynamic environment: new elegance and new dilemmas in teacher training
    (Ilya Sinitsky, Gordon College of Education, Haifa, Israel
  11. Searching for loci using DGS and CAS
    (J. Blažek and P. Pech, University of South Bohemia, Czech Republic)
  12. Checking solutions of tasks on expressibility in Boolean algebra of sets
    (R. Prank, University of Tartu, Estonia)
  13. How to Use CAS (Maple) to Help Students Learn Number Theory
    (M. Durcheva, Technical University of Sofia, Bulgaria)
  14. Constructing Rational Gram-Schmidt Problems and QR Problems
    (David Jeffrey and Nasir Khattak, Ontario, Canada)
  15. Some examples of solving nonlinear programming problems with CAS
    (Włodzimierz Wojasa and Jan Krupa, Warsaw University of Life Sciences, Poland)
  16. Generating Power Summation Formulas Using a Computer Algebra System
    (M. Xue, Vroom Laboratory for Advanced Computing, USA)
  17. A sympy/sage Module for Computing Polynomial Remainder Sequences
    (Alkiviadis G. Akritas, Gennadi I. Malaschonok and Panagiotis S. Vigklas, Greece and Russia)
  18. Automated Function Analysis for Calculus
    (A. Naiman, Jerusalem College of Technology, Israel)
  19. Computer-Algebra-Aided Chebyshev Methods for Ordinary Differential Equations
    (M. Xue, Vroom Laboratory for Advanced Computing, USA)
  20. Engineering Mathematics and CAS
    (Michel Beaudin, ÉTS, Montréal, Canada)
  21. Teaching complex potential model to students of environmental engineering faculty using Mathematica
    (Włodzimierz Wojasa and Jan Krupa, Warsaw University of Life Sciences, Poland)
  22. Using Maple cloud computing in financial education of pre-service teachers
    (V. Petrášková and P. Rosa, University of South Bohemia, Czech Republic)

Go to:
ACA'2017 main page
Conferences on Applications of Computer Algebra main page