SS1 - Computer Algebra in Education

link to the session's webpage



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.



Session organizers

Michel Beaudin (ETS, 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)


Talks

William Bauldry - Creating Stand-Alone Workspaces for Student Explorations with Maple
Yasuyuki Kubo - Utilization of Algebrite in KeTLTS
Setsuo Takato - Two Methods for Proving 'Japanese Theorem II' Using Maxima and KeTCindy: An Application of the MNR Method
Michael Monagan - Mathematical Experiments for Mathematics Majors
Masaki Suzuki - Cooperation of KeTCindyJS and Maxima
Koji Nishiura - Educational Applications of Solving Sangaku Problems by the MNR Method with Maxima
Chieko Komoda - Automatic Grading of Online Graph Plotting Problems
Michel Beaudin - Questions and ideas from deceased colleagues that help us carry on (I)
Michel Beaudin - Questions and ideas from deceased colleagues that help us carry on (II)
Margherita Guida - An educational proposal to interpret linear systems
Magdalena Skrzypiec - CAS and Improper Integral - a case study
Thierry Noah Dana-Picard - Automated methods applied for the exploration of singularities of some curves
Piedad Tolmos - Evaluation of the difficulty of a geometric statement: comparing ChatGPT and GeoGebra Discovery
Eli Bagno - Collaboration with ChatGPT for research and teaching in algebraic combinatorics