Computer Algebra in Education (in memory of Josef Böhm) at ACA'2025

Talk Timetable

Organizers:

Michel Beaudin, ÉTS, Canada
Michael Wester, University of New Mexico, USA
Thierry (Noah) Dana-Picard, Jerusalem College of Technology, Israel
Alkis Akritas, University of Thessaly, Greece
José Luis Galán García, Universidad de Málaga, Spain
Elena Varbanova, Technical University of Sofia, Bulgaria
Eli Bagno, Jerusalem College of Technology, Israel

Overview:

Education has become one of the fastest growing application areas for computers in general and computer algebra in particular. Computer Algebra Systems (CAS) and Dynamical Geometry Systems (DGS) make for powerful teaching and learning tools within mathematics, physics, chemistry, biology, economics, etc. Among them are:
(a) commercial "heavy weights" such as Casio ClassPad 330, Magma, Maple, Mathematica, MuPAD, TI NSpire CAS, and
(b) free software/open source systems such as Axiom, Desmos, Euler, Fermat, wxMaxima, Reduce, and rising stars such as GeoGebra, SageMath, SymPy and Xcas (the swiss knife for mathematics), not to mention systems like Derive (discontinued commercially since 2007) and the essential WolframAlpha, which are important resources for users of symbolic systems.

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 including dynamic geometry.

Generative Artificial Intelligence has entered the world very strongly. The Education community has begun to explore the pros and cons of this new technology. We also welcome experiments and research about its usage, either alone or in collaboration with CAS and DGS.

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

Talks

1. Questions and ideas from deceased colleagues that help us carry on [1 hour] (long abstract)
   (Michel Beaudin, Montréal, Québec, Canada)
2. Creating Stand-Alone Workspaces for Student Explorations with Maple
   (William C. Bauldry, Boone, North Carolina, USA)
3. Mathematical Experiments for Mathematics Majors
   (Michael Monagan, Burnaby, British Columbia, Canada
4. An educational proposal to interpret linear systems
   (Margherita Guida, Napoli, Italy)
5. CAS and Improper Integral - a case study
   (Magdalena Skrzypiec, Lublin, Poland)
6. Automated methods applied for the exploration of singularities of some curves
   (Thierry Dana-Picard and Daniel Tsirkin, Jerusalem, Israel)
7. Evaluation of the difficulty of a geometric statement: comparing ChatGPT and GeoGebra Discovery
   (Piedad Tolmos, Tomas Recio and M. Pilar Vélez, Madrid, Spain)
8. Collaboration with ChatGPT for research and teaching in algebraic combinatorics
   (Eli Bagno and Thierry Dana Picard, Jerusalem, Israel)
9. Cooperation of KeTCindyJS and Maxima
   (Masaki Suzuki, Numazu-shi, Japan)
10. Utilization of Algebrite in KeTLTS
    (Yasuyuki Kubo, Yuge KOSEN, Kamijima-cho, Japan
11. Automatic Grading of Online Graph Plotting Problems
    (Chieko Komoda, Kurume-shi, Japan)
12. Two Methods for Proving "Japanese Theorem II" Using Maxima and KeTCindy: An Application of the MNR Method
    (Setsuo Takato, Kisarazu, Japan)
13. Educational Applications of Solving Sangaku Problems by the MNR Method with Maxima
    (Koji Nishiura, Fukushima College, Iwaki-shi, Japan)

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