Cargando…

Symbolic computation and education /

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: International Seminar on Symbolic Computation in Education
Otros Autores: Li, Shangzhi, 1947-, Wang, Dongming, 1961-, Zhang, Jingzhong, 1936-
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Singapore ; Hackensack, NJ : World Scientific, ©2007.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ma 4500
001 EBOOKCENTRAL_ocn646768161
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cn|||||||||
008 071130s2007 si a ob 101 0 eng d
040 |a E7B  |b eng  |e pn  |c E7B  |d OCLCQ  |d N$T  |d YDXCP  |d UBY  |d IDEBK  |d OCLCQ  |d OCLCF  |d OCLCQ  |d OCLCO  |d MHW  |d EBLCP  |d DEBSZ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCL  |d OCLCO  |d OCL  |d OCLCQ  |d OCL  |d OCLCO  |d OCLCQ  |d OCLCO  |d LOA  |d JBG  |d COCUF  |d AGLDB  |d MOR  |d PIFAG  |d ZCU  |d OTZ  |d OCLCQ  |d MERUC  |d OCLCQ  |d U3W  |d STF  |d WRM  |d OCLCQ  |d VTS  |d NRAMU  |d ICG  |d INT  |d VT2  |d OCLCQ  |d WYU  |d OCLCQ  |d DKC  |d OCLCQ  |d M8D  |d UKAHL  |d OCLCQ  |d LEAUB  |d HS0  |d UKCRE  |d VLY  |d OCLCQ  |d OCLCO  |d SFB  |d DST  |d OCLCQ  |d OCLCO  |d OCLCL  |d TNZ  |d INARC  |d OCLCL 
019 |a 261485409  |a 505142680  |a 815751441  |a 879025621  |a 961545388  |a 962616459  |a 968289108  |a 988455787  |a 992104384  |a 994915338  |a 1037677229  |a 1038643073  |a 1045473517  |a 1055403262  |a 1062931264  |a 1063994027  |a 1081294912  |a 1086562978  |a 1153510940  |a 1162014139  |a 1227646271  |a 1228561239  |a 1290064219  |a 1300613068  |a 1303305543  |a 1303437468  |a 1306547752 
020 |a 9789812776006  |q (electronic bk.) 
020 |a 9812776001  |q (electronic bk.) 
020 |a 1281928968 
020 |a 9781281928962 
020 |a 9786611928964 
020 |a 6611928960 
020 |z 9789812775993 
020 |z 9812775994 
029 1 |a AU@  |b 000051415505 
029 1 |a DEBBG  |b BV043151381 
029 1 |a DEBBG  |b BV044179663 
029 1 |a DEBSZ  |b 42209613X 
029 1 |a DEBSZ  |b 42407348X 
029 1 |a DEBSZ  |b 445555394 
029 1 |a HEBIS  |b 218722680 
029 1 |a NZ1  |b 13518390 
035 |a (OCoLC)646768161  |z (OCoLC)261485409  |z (OCoLC)505142680  |z (OCoLC)815751441  |z (OCoLC)879025621  |z (OCoLC)961545388  |z (OCoLC)962616459  |z (OCoLC)968289108  |z (OCoLC)988455787  |z (OCoLC)992104384  |z (OCoLC)994915338  |z (OCoLC)1037677229  |z (OCoLC)1038643073  |z (OCoLC)1045473517  |z (OCoLC)1055403262  |z (OCoLC)1062931264  |z (OCoLC)1063994027  |z (OCoLC)1081294912  |z (OCoLC)1086562978  |z (OCoLC)1153510940  |z (OCoLC)1162014139  |z (OCoLC)1227646271  |z (OCoLC)1228561239  |z (OCoLC)1290064219  |z (OCoLC)1300613068  |z (OCoLC)1303305543  |z (OCoLC)1303437468  |z (OCoLC)1306547752 
050 4 |a QA20.C65  |b S96 2007eb 
072 7 |a MAT  |x 015000  |2 bisacsh 
072 7 |a RBP  |2 bicssc 
072 0 |a JNV 
072 |a JNV 
082 0 4 |a 510.78  |2 22 
084 |a SD 2007  |2 rvk 
084 |a TP301.6-532  |2 clc 
049 |a UAMI 
245 0 0 |a Symbolic computation and education /  |c editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang. 
260 |a Singapore ;  |a Hackensack, NJ :  |b World Scientific,  |c ©2007. 
300 |a 1 online resource (viii, 245 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references and index. 
505 0 |a 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. 
588 0 |a Print version record. 
520 |a 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 manufacturers, computer scientists, researchers and operational users to share their experiences and to learn about the latest developments. This volume provides an excellent overview of the latest achievements and plans for the use of new parallel techniques in the fields of meteorology, climatology and oceanography. 
546 |a English. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Mathematics  |x Computer-assisted instruction  |v Congresses. 
650 0 |a Computable functions  |x Data processing  |v Congresses. 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
650 6 |a Mathématiques  |x Enseignement assisté par ordinateur  |v Congrès. 
650 6 |a Fonctions calculables  |x Informatique  |v Congrès. 
650 6 |a Logique symbolique et mathématique  |v Congrès. 
650 7 |a MATHEMATICS  |x History & Philosophy.  |2 bisacsh 
650 7 |a Computable functions  |x Data processing  |2 fast 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
650 7 |a Mathematics  |x Computer-assisted instruction  |2 fast 
650 7 |a Computermathematik  |2 gnd 
650 7 |a Computerunterstützter Unterricht  |2 gnd 
650 7 |a Mathématiques  |x Enseignement assisté par ordinateur  |x Congrès.  |2 ram 
651 7 |a Peking (2006)  |2 swd 
655 7 |a Conference papers and proceedings  |2 fast 
655 7 |a Kongress.  |2 swd 
700 1 |a Li, Shangzhi,  |d 1947-  |1 https://id.oclc.org/worldcat/entity/E39PCjFFTcQxjtGdw676m6mdpP 
700 1 |a Wang, Dongming,  |d 1961-  |1 https://id.oclc.org/worldcat/entity/E39PCjHbM48HWDgdfFFtX9qPcP 
700 1 |a Zhang, Jingzhong,  |d 1936-  |1 https://id.oclc.org/worldcat/entity/E39PBJxmGwWJMGj9XmbBTvfg8C 
711 2 |a International Seminar on Symbolic Computation in Education  |d (2006 :  |c Beihang University) 
758 |i has work:  |a Symbolic computation and education (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGXFtd7pqcTRdgvgj38Qv3  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a International Seminar on Symbolic Computation in Education (2006 : Beihang University).  |t Symbolic computation and education.  |d Singapore ; Hackensack, NJ : World Scientific, ©2007  |z 9789812775993  |z 9812775994  |w (DLC) 2008272000  |w (OCoLC)182736260 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1681737  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH24684618 
938 |a EBL - Ebook Library  |b EBLB  |n EBL1681737 
938 |a ebrary  |b EBRY  |n ebr10255400 
938 |a EBSCOhost  |b EBSC  |n 235989 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 192896 
938 |a YBP Library Services  |b YANK  |n 2889233 
938 |a Internet Archive  |b INAR  |n symboliccomputat0000inte 
994 |a 92  |b IZTAP