Symbolic computation and education /

Afficher d'autres versions (1)

Geosciences particularly numerical weather predication, are demanding the highest levels of computer power available. The European Centre for Medium-Range Weather Forecasts, with its experience in using supercomputers in this field, organizes a workshop every other year bringing together manufacture...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: International Seminar on Symbolic Computation in Education
Autres auteurs: Li, Shangzhi, 1947-, Wang, Dongming, 1961-, Zhang, Jingzhong, 1936-
Format: Électronique Actes de congrès eBook
Langue:Inglés
Publié: Singapore ; Hackensack, NJ : World Scientific, ©2007.
Sujets:
Mathematics > Computer-assisted instruction > Congresses.
Computable functions > Data processing > Congresses.
Logic, Symbolic and mathematical > Congresses.
Mathématiques > Enseignement assisté par ordinateur > Congrès.
Fonctions calculables > Informatique > Congrès.
Logique symbolique et mathématique > Congrès.
MATHEMATICS > History & Philosophy.
Computable functions > Data processing
Logic, Symbolic and mathematical
Mathematics > Computer-assisted instruction
Computermathematik
Computerunterstützter Unterricht
Peking (2006)
Conference papers and proceedings
Kongress.
Accès en ligne:Texto completo
Table des matières:
  • The crisis we face and how to try to deal with it / J. Jerry Uhl, Debra Woods
  • Mathematics topics foundational to calculus at the secondary level / Antonio R. Quesada
  • Hand-held technology in secondary mathematics education / Barry Kissane
  • College algebra change / Robert L. Mayes, Vennessa L. Walker, Philip N. Chase
  • Mathematics experiments ; learning and investigating mathematics with the help of computers / Shangzhi Li
  • CreaComp : experimental formal mathematics for the classroom / Günther Mayrhofer, Susanne Saminger, Wolfgang Windsteiger
  • Free software SSP for teaching mathematics / Jing-Zhong Zhang, Hui-Min Xioung, Xi-Cheng Peng
  • Bringing more intelligence to dynamic geometry by using symbolic computation / Francisco Botana
  • Combining CAS and DGS : towards algorithmic thinking / Ulrich H. Kortenkamp
  • Integrating rule-based and input-based approaches for better error diagnosis in expression manipulation tasks / Rein Prank [and others]
  • Automated generation of readable proofs for a class of limits of sequences and functions / Jing Ruan, Zhengyi Lu
  • Computer algebra meets an ancient Egyptian problem / Yiu-Kwong Man
  • Finite series expansions for powers of sine and cosine functions via mathematica / Tilak de Alwis
  • Solving the heat and wave equations with the (fast) discrete Fourier transform / Alkiviadis G. Akritas, Panagiotis S. Vigklas, J. Jerry Uhl.

Documents similaires