|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910451203403321 |
|
|
Titolo |
Symbolic computation and education [[electronic resource] /] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
|
|
|
|
|
|
|
ISBN |
|
1-281-92896-8 |
9786611928964 |
981-277-600-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
LiShangzhi <1947-> |
WangDongming <1961-> |
ZhangJingzhong <1936-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematics - Computer-assisted instruction |
Computable functions - Data processing |
Logic, Symbolic and mathematical |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"International Seminar on Symbolic Computation in Education (SCE 2006) held at Beihang University, Beijing, China from the 12th to 14th April 2006."--P. [v]. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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 |
|
|
|
|