Computer Algebra in Education

at ACA'2012 to be held June 25-28, 2012 in Sofia, Bulgaria


Alkis Akritas, University of Volos, Greece
Michael Wester, University of New Mexico, USA
Bill Pletsch, Central New Mexico Community College, USA
Elena Varbanova, Technical University of Sofia, Bulgaria


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 TI Voyage 200, 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, and assessment practices from all scientific fields.

Please send a copy of your abstract in text or PDF to the session organizers.


  1. Spreading the Inquiry Based Mathematics Education in Bulgaria within the Fibonacci European Project
    (Petar Kenderov and Evgenia Sendova, Bulgarian Academy of Sciences)
  2. Computing Sturm sequences with matrix triangularization
    (Alkiviadis G. Akritas, Ifigenia I. Apostolopoulou and Georgios S. Floros, University of Thessaly, Greece)
  3. Usage of the System Mathematica in Teaching and Learning Number Theory
    (Tsetska Rashkova, University of Ruse "Angel Kanchev", Bulgaria)
  4. About the Potential of CAS and LMS for Enhancement of Mathematics Education
    (Elena Shoikova and Elena Varbanova, Technical University - Sofia, Bulgaria
  5. Students’ Competition of Computer Mathematics CompMath
    (Mladen Manev, Technical University of Gabrovo, Bulgaria)
  6. CAS in Mathematical Education for Engineers
    (M. M. Konstantinov and V. V. Pasheva, Sofia, Bulgaria)
  7. Some elementary examples on the need for radical membership checking in mechanical theorem proving in geometry
    (Eugenio Roanes-Lozano and Eugenio Roanes-Macias, Spain)
  8. Sam: Dynamic Geometric Software to Optimize the Learning of Geometry and to Activate an Inventive Style of Thinking
    (Samet Karaibryamov, Bistra Tsareva and Boyan Zlatanov, Plovdiv University, Plovdiv, Bulgaria)
  9. Teaching Commutative Algebra and Algebraic Geometry using Computer Algebra Systems
    (Michael Monagan, Simon Fraser University, British Columbia, Canada)
  10. Computer Proofs of Identities Using CAS
    (Maria G. Karatopraklieva, University “St. Kliment Ohridski”, Sofia, Bulgaria)
  11. Implementation of VAS in iOS
    (Spyros Kehagias and Alkiviadis G. Akritas, University of Thessaly, Greece)

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