Symbolic Computation and Education

Shangzhi Li,Dongming Wang,Jing-Zhong Zhang
DOI: https://doi.org/10.1142/6642
2007-01-01
Abstract: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.).
What problem does this paper attempt to address?