With 14 chapters written by leading experts and educators, this book covers a wide range of topics from teaching philosophy and curriculum development to symbolic and algebraic manipulation and automated geometric reasoning, and to the design and implementation of educational software and integrated teaching and learning environments. The book may serve as a useful reference for researchers, educators, and other professionals interested in developing, using, and practising methodologies and software tools of symbolic computation for education from the secondary to the undergraduate level.

Contents:

• The Crisis We Face and How to Try to Deal with It (J J Uhl & D Woods)
• Mathematics Topics Foundational to Calculus at the Secondary Level (A R Quesada)
• Hand-held Technology in Secondary Mathematics Education (B Kissane)
• College Algebra Change (R L Mayes et al.)
• Mathematics Experiments — Learning and Investigating Mathematics with the Help of Computers (S Li)
• CreaComp: Experimental Formal Mathematics for the Classroom (G Mayrhofer et al.)
• Free Software SSP for Teaching Mathematics (J-Z Zhang et al.)
• Bringing More Intelligence to Dynamic Geometry by Using Symbolic Computation (F Botana)
• Combining CAS and DGS — Towards Algorithmic Thinking (U H Kortenkamp)
• Integrating Rule-Based and Input-Based Approaches for Better Error Diagnosis in Expression Manipulation Tasks (R Prank et al.)
• Automated Generation of Readable Proofs for a Class of Limits of Sequences and Functions (J Ruan & Z Lu)
• Computer Algebra Meets an Ancient Egyptian Problem (Y-K Man)
• Finite Series Expansions for Powers of Sine and Cosine Functions via Mathematica (T de Alwis)
• Solving the Heat and Wave Equations with the (Fast) Discrete Fourier Transform (A G Akritas et al.)