LEADER 03721nam 2200649Ia 450 001 9910822126503321 005 20240404154552.0 010 $a1-281-92896-8 010 $a9786611928964 010 $a981-277-600-1 035 $a(CKB)1000000000415580 035 $a(StDuBDS)AH24684618 035 $a(SSID)ssj0000254656 035 $a(PQKBManifestationID)11218157 035 $a(PQKBTitleCode)TC0000254656 035 $a(PQKBWorkID)10208980 035 $a(PQKB)11202615 035 $a(WSP)00006642 035 $a(Au-PeEL)EBL1681737 035 $a(CaPaEBR)ebr10255400 035 $a(CaONFJC)MIL192896 035 $a(OCoLC)879025621 035 $a(MiAaPQ)EBC1681737 035 $a(EXLCZ)991000000000415580 100 $a20071130d2007 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aSymbolic computation and education /$feditors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang 205 $a1st ed. 210 $aSingapore ;$aHackensack, NJ $cWorld Scientific$dc2007 215 $aviii, 245 p. $cill 300 $a"International Seminar on Symbolic Computation in Education (SCE 2006) held at Beihang University, Beijing, China from the 12th to 14th April 2006."--P. [v]. 311 $a981-277-599-4 320 $aIncludes bibliographical references and index. 327 $aThe 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.). 330 $aWith 14 chapters written by leading experts and educators, this book covers a 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. 606 $aMathematics$xComputer-assisted instruction$vCongresses 606 $aComputable functions$xData processing$vCongresses 606 $aLogic, Symbolic and mathematical$vCongresses 615 0$aMathematics$xComputer-assisted instruction 615 0$aComputable functions$xData processing 615 0$aLogic, Symbolic and mathematical 676 $a511.3 701 $aLi$b Shangzhi$f1947-$01703246 701 $aWang$b Dongming$f1961-$0738655 701 $aZhang$b Jingzhong$f1936-$01703247 712 12$aInternational Seminar on Symbolic Computation in Education$f(2006 :$eBeihang University) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910822126503321 996 $aSymbolic computation and education$94088306 997 $aUNINA