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...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore ; Hackensack, NJ :
World Scientific,
©2007.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource (viii, 245 pages) : illustrations |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9789812776006 9812776001 1281928968 9781281928962 9786611928964 6611928960 |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn646768161 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.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 |d OCLKB | ||
| 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 |a 1432458157 |a 1443081695 |a 1443089818 | ||
| 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 | ||
| 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 |z (OCoLC)1432458157 |z (OCoLC)1443081695 |z (OCoLC)1443089818 | ||
| 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 | 7 | |a 510.78 |2 22 | |
| 084 | |a SD 2007 |2 rvk | ||
| 084 | |a TP301.6-532 |2 clc | ||
| 049 | |a MAIN | ||
| 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. | ||
| 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 |0 http://d-nb.info/gnd/4788218-9 | |
| 650 | 7 | |a Computerunterstützter Unterricht |2 gnd |0 http://d-nb.info/gnd/4070087-2 | |
| 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 |0 http://id.loc.gov/authorities/names/n2002010411 | |
| 700 | 1 | |a Wang, Dongming, |d 1961- |1 https://id.oclc.org/worldcat/entity/E39PCjHbM48HWDgdfFFtX9qPcP |0 http://id.loc.gov/authorities/names/no2006027431 | |
| 700 | 1 | |a Zhang, Jingzhong, |d 1936- |1 https://id.oclc.org/worldcat/entity/E39PBJxmGwWJMGj9XmbBTvfg8C |0 http://id.loc.gov/authorities/names/n94015574 | |
| 711 | 2 | |a International Seminar on Symbolic Computation in Education |d (2006 : |c Beihang University) |0 http://id.loc.gov/authorities/names/ns2012001937 | |
| 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 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235989 |3 Volltext |
| 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 | ||
| 938 | |b OCKB |z perlego.catalogue,464605b7-590c-43bf-b47d-383dc70e01bc-emi | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn646768161 |
|---|---|
| _version_ | 1816881725082435584 |
| adam_text | |
| any_adam_object | |
| author2 | Li, Shangzhi, 1947- Wang, Dongming, 1961- Zhang, Jingzhong, 1936- |
| author2_role | |
| author2_variant | s l sl d w dw j z jz |
| author_GND | http://id.loc.gov/authorities/names/n2002010411 http://id.loc.gov/authorities/names/no2006027431 http://id.loc.gov/authorities/names/n94015574 |
| author_corporate | International Seminar on Symbolic Computation in Education |
| author_corporate_role | |
| author_facet | Li, Shangzhi, 1947- Wang, Dongming, 1961- Zhang, Jingzhong, 1936- International Seminar on Symbolic Computation in Education |
| author_sort | Li, Shangzhi, 1947- |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA20 |
| callnumber-raw | QA20.C65 S96 2007eb |
| callnumber-search | QA20.C65 S96 2007eb |
| callnumber-sort | QA 220 C65 S96 42007EB |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 2007 |
| collection | ZDB-4-EBA |
| contents | 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. |
| ctrlnum | (OCoLC)646768161 |
| dewey-full | 510.78 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.78 |
| dewey-search | 510.78 |
| dewey-sort | 3510.78 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07364cam a2200853Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn646768161</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">071130s2007 si a ob 101 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">E7B</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">UBY</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">MHW</subfield><subfield code="d">EBLCP</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">LOA</subfield><subfield code="d">JBG</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">OTZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LEAUB</subfield><subfield code="d">HS0</subfield><subfield code="d">UKCRE</subfield><subfield code="d">VLY</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">SFB</subfield><subfield code="d">DST</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">TNZ</subfield><subfield code="d">INARC</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLKB</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">261485409</subfield><subfield code="a">505142680</subfield><subfield code="a">815751441</subfield><subfield code="a">879025621</subfield><subfield code="a">961545388</subfield><subfield code="a">962616459</subfield><subfield code="a">968289108</subfield><subfield code="a">988455787</subfield><subfield code="a">992104384</subfield><subfield code="a">994915338</subfield><subfield code="a">1037677229</subfield><subfield code="a">1038643073</subfield><subfield code="a">1045473517</subfield><subfield code="a">1055403262</subfield><subfield code="a">1062931264</subfield><subfield code="a">1063994027</subfield><subfield code="a">1081294912</subfield><subfield code="a">1086562978</subfield><subfield code="a">1153510940</subfield><subfield code="a">1162014139</subfield><subfield code="a">1227646271</subfield><subfield code="a">1228561239</subfield><subfield code="a">1290064219</subfield><subfield code="a">1300613068</subfield><subfield code="a">1303305543</subfield><subfield code="a">1303437468</subfield><subfield code="a">1306547752</subfield><subfield code="a">1432458157</subfield><subfield code="a">1443081695</subfield><subfield code="a">1443089818</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812776006</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812776001</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281928968</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281928962</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786611928964</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6611928960</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789812775993</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9812775994</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)646768161</subfield><subfield code="z">(OCoLC)261485409</subfield><subfield code="z">(OCoLC)505142680</subfield><subfield code="z">(OCoLC)815751441</subfield><subfield code="z">(OCoLC)879025621</subfield><subfield code="z">(OCoLC)961545388</subfield><subfield code="z">(OCoLC)962616459</subfield><subfield code="z">(OCoLC)968289108</subfield><subfield code="z">(OCoLC)988455787</subfield><subfield code="z">(OCoLC)992104384</subfield><subfield code="z">(OCoLC)994915338</subfield><subfield code="z">(OCoLC)1037677229</subfield><subfield code="z">(OCoLC)1038643073</subfield><subfield code="z">(OCoLC)1045473517</subfield><subfield code="z">(OCoLC)1055403262</subfield><subfield code="z">(OCoLC)1062931264</subfield><subfield code="z">(OCoLC)1063994027</subfield><subfield code="z">(OCoLC)1081294912</subfield><subfield code="z">(OCoLC)1086562978</subfield><subfield code="z">(OCoLC)1153510940</subfield><subfield code="z">(OCoLC)1162014139</subfield><subfield code="z">(OCoLC)1227646271</subfield><subfield code="z">(OCoLC)1228561239</subfield><subfield code="z">(OCoLC)1290064219</subfield><subfield code="z">(OCoLC)1300613068</subfield><subfield code="z">(OCoLC)1303305543</subfield><subfield code="z">(OCoLC)1303437468</subfield><subfield code="z">(OCoLC)1306547752</subfield><subfield code="z">(OCoLC)1432458157</subfield><subfield code="z">(OCoLC)1443081695</subfield><subfield code="z">(OCoLC)1443089818</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA20.C65</subfield><subfield code="b">S96 2007eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">015000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">RBP</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="0"><subfield code="a">JNV</subfield></datafield><datafield tag="072" ind1=" " ind2=" "><subfield code="a">JNV</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">510.78</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 2007</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TP301.6-532</subfield><subfield code="2">clc</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Symbolic computation and education /</subfield><subfield code="c">editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Singapore ;</subfield><subfield code="a">Hackensack, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2007.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 245 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">Computer-assisted instruction</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computable functions</subfield><subfield code="x">Data processing</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Mathématiques</subfield><subfield code="x">Enseignement assisté par ordinateur</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Fonctions calculables</subfield><subfield code="x">Informatique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">History & Philosophy.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computable functions</subfield><subfield code="x">Data processing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="x">Computer-assisted instruction</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computermathematik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4788218-9</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computerunterstützter Unterricht</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4070087-2</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathématiques</subfield><subfield code="x">Enseignement assisté par ordinateur</subfield><subfield code="x">Congrès.</subfield><subfield code="2">ram</subfield></datafield><datafield tag="651" ind1=" " ind2="7"><subfield code="a">Peking (2006)</subfield><subfield code="2">swd</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Kongress.</subfield><subfield code="2">swd</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Li, Shangzhi,</subfield><subfield code="d">1947-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjFFTcQxjtGdw676m6mdpP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2002010411</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wang, Dongming,</subfield><subfield code="d">1961-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjHbM48HWDgdfFFtX9qPcP</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2006027431</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zhang, Jingzhong,</subfield><subfield code="d">1936-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJxmGwWJMGj9XmbBTvfg8C</subfield><subfield code="0">http://id.loc.gov/authorities/names/n94015574</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Seminar on Symbolic Computation in Education</subfield><subfield code="d">(2006 :</subfield><subfield code="c">Beihang University)</subfield><subfield code="0">http://id.loc.gov/authorities/names/ns2012001937</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Symbolic computation and education (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGXFtd7pqcTRdgvgj38Qv3</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">International Seminar on Symbolic Computation in Education (2006 : Beihang University).</subfield><subfield code="t">Symbolic computation and education.</subfield><subfield code="d">Singapore ; Hackensack, NJ : World Scientific, ©2007</subfield><subfield code="z">9789812775993</subfield><subfield code="z">9812775994</subfield><subfield code="w">(DLC) 2008272000</subfield><subfield code="w">(OCoLC)182736260</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235989</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH24684618</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1681737</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10255400</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">235989</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">192896</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2889233</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">symboliccomputat0000inte</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="b">OCKB</subfield><subfield code="z">perlego.catalogue,464605b7-590c-43bf-b47d-383dc70e01bc-emi</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast Kongress. swd |
| genre_facet | Conference papers and proceedings Kongress. |
| geographic | Peking (2006) swd |
| geographic_facet | Peking (2006) |
| id | ZDB-4-EBA-ocn646768161 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:17Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/ns2012001937 |
| isbn | 9789812776006 9812776001 1281928968 9781281928962 9786611928964 6611928960 |
| language | English |
| oclc_num | 646768161 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (viii, 245 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | World Scientific, |
| record_format | marc |
| spelling | Symbolic computation and education / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang. Singapore ; Hackensack, NJ : World Scientific, ©2007. 1 online resource (viii, 245 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references and index. 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. Print version record. 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. English. 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. bisacsh Computable functions Data processing fast Logic, Symbolic and mathematical fast Mathematics Computer-assisted instruction fast Computermathematik gnd http://d-nb.info/gnd/4788218-9 Computerunterstützter Unterricht gnd http://d-nb.info/gnd/4070087-2 Mathématiques Enseignement assisté par ordinateur Congrès. ram Peking (2006) swd Conference papers and proceedings fast Kongress. swd Li, Shangzhi, 1947- https://id.oclc.org/worldcat/entity/E39PCjFFTcQxjtGdw676m6mdpP http://id.loc.gov/authorities/names/n2002010411 Wang, Dongming, 1961- https://id.oclc.org/worldcat/entity/E39PCjHbM48HWDgdfFFtX9qPcP http://id.loc.gov/authorities/names/no2006027431 Zhang, Jingzhong, 1936- https://id.oclc.org/worldcat/entity/E39PBJxmGwWJMGj9XmbBTvfg8C http://id.loc.gov/authorities/names/n94015574 International Seminar on Symbolic Computation in Education (2006 : Beihang University) http://id.loc.gov/authorities/names/ns2012001937 has work: Symbolic computation and education (Text) https://id.oclc.org/worldcat/entity/E39PCGXFtd7pqcTRdgvgj38Qv3 https://id.oclc.org/worldcat/ontology/hasWork Print version: International Seminar on Symbolic Computation in Education (2006 : Beihang University). Symbolic computation and education. Singapore ; Hackensack, NJ : World Scientific, ©2007 9789812775993 9812775994 (DLC) 2008272000 (OCoLC)182736260 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235989 Volltext |
| spellingShingle | Symbolic computation and education / 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. 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. bisacsh Computable functions Data processing fast Logic, Symbolic and mathematical fast Mathematics Computer-assisted instruction fast Computermathematik gnd http://d-nb.info/gnd/4788218-9 Computerunterstützter Unterricht gnd http://d-nb.info/gnd/4070087-2 Mathématiques Enseignement assisté par ordinateur Congrès. ram |
| subject_GND | http://d-nb.info/gnd/4788218-9 http://d-nb.info/gnd/4070087-2 |
| title | Symbolic computation and education / |
| title_auth | Symbolic computation and education / |
| title_exact_search | Symbolic computation and education / |
| title_full | Symbolic computation and education / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang. |
| title_fullStr | Symbolic computation and education / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang. |
| title_full_unstemmed | Symbolic computation and education / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang. |
| title_short | Symbolic computation and education / |
| title_sort | symbolic computation and education |
| topic | 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. bisacsh Computable functions Data processing fast Logic, Symbolic and mathematical fast Mathematics Computer-assisted instruction fast Computermathematik gnd http://d-nb.info/gnd/4788218-9 Computerunterstützter Unterricht gnd http://d-nb.info/gnd/4070087-2 Mathématiques Enseignement assisté par ordinateur Congrès. ram |
| topic_facet | 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. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235989 |
| work_keys_str_mv | AT lishangzhi symboliccomputationandeducation AT wangdongming symboliccomputationandeducation AT zhangjingzhong symboliccomputationandeducation AT internationalseminaronsymboliccomputationineducationbeihanguniversity symboliccomputationandeducation |