*Organizers:*

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

*Overview:*

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.

- Spreading the Inquiry Based Mathematics
Education in Bulgaria within the Fibonacci European Project

(Petar Kenderov and Evgenia Sendova, Bulgarian Academy of Sciences) - Computing Sturm sequences with matrix
triangularization

(Alkiviadis G. Akritas, Ifigenia I. Apostolopoulou and Georgios S. Floros, University of Thessaly, Greece) - Usage of the System Mathematica in
Teaching and Learning Number Theory

(Tsetska Rashkova, University of Ruse "Angel Kanchev", Bulgaria) - About the Potential of CAS and LMS for
Enhancement of Mathematics Education

(Elena Shoikova and Elena Varbanova, Technical University - Sofia, Bulgaria - Students’ Competition of Computer Mathematics
CompMath

(Mladen Manev, Technical University of Gabrovo, Bulgaria) - CAS in Mathematical Education for
Engineers

(M. M. Konstantinov and V. V. Pasheva, Sofia, Bulgaria) - Some elementary examples on the need for
radical membership checking in mechanical theorem proving in
geometry

(Eugenio Roanes-Lozano and Eugenio Roanes-Macias, Spain) - 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) - Teaching Commutative Algebra and Algebraic
Geometry using Computer Algebra Systems

(Michael Monagan, Simon Fraser University, British Columbia, Canada) - Computer Proofs of Identities Using
CAS

(Maria G. Karatopraklieva, University “St. Kliment Ohridski”, Sofia, Bulgaria) - 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