Computer mathematics :: proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 /
This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate s...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
River Edge, N.J. :
World Scientific,
©2001.
|
| Schriftenreihe: | Lecture notes series on computing ;
v. 9. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference. |
| Beschreibung: | 1 online resource (xi, 227 pages) : illustrations |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9789812799661 9812799664 |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn646768171 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 011213s2001 njua ob 101 0 eng d | ||
| 010 | |z 2001278598 | ||
| 040 | |a E7B |b eng |e pn |c E7B |d OCLCQ |d UBY |d N$T |d IDEBK |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d STF |d OCL |d OCLCO |d OCLCQ |d AZK |d AGLDB |d COCUF |d MOR |d PIFAG |d OCLCQ |d JBG |d OCLCQ |d U3W |d WRM |d VTS |d INT |d NRAMU |d VT2 |d OCLCQ |d AU@ |d M8D |d UKAHL |d OCL |d OCLCQ |d UKCRE |d AJS |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 263420769 |a 505135633 |a 764498428 |a 961562113 |a 962624555 |a 974976144 |a 975017254 |a 988486048 |a 991915974 |a 1037795301 |a 1038700449 |a 1043633644 |a 1081206655 |a 1153497309 |a 1224927500 |a 1228572101 | ||
| 020 | |a 9789812799661 |q (electronic bk.) | ||
| 020 | |a 9812799664 |q (electronic bk.) | ||
| 020 | |z 9789810247638 | ||
| 020 | |z 981024763X | ||
| 035 | |a (OCoLC)646768171 |z (OCoLC)263420769 |z (OCoLC)505135633 |z (OCoLC)764498428 |z (OCoLC)961562113 |z (OCoLC)962624555 |z (OCoLC)974976144 |z (OCoLC)975017254 |z (OCoLC)988486048 |z (OCoLC)991915974 |z (OCoLC)1037795301 |z (OCoLC)1038700449 |z (OCoLC)1043633644 |z (OCoLC)1081206655 |z (OCoLC)1153497309 |z (OCoLC)1224927500 |z (OCoLC)1228572101 | ||
| 050 | 4 | |a QA76.9.M35 |b A83 2001eb | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 082 | 7 | |a 004/.01/51 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a Asian Symposium on Computer Mathematics |n (5th : |d 2001 : |c Matsuyama-shi, Japan) | |
| 245 | 1 | 0 | |a Computer mathematics : |b proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 / |c editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama. |
| 260 | |a River Edge, N.J. : |b World Scientific, |c ©2001. | ||
| 300 | |a 1 online resource (xi, 227 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 | ||
| 347 | |a data file |2 rda | ||
| 490 | 1 | |a Lecture notes series on computing ; |v v. 9 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Invited talks. Finding all the solutions of cyclic 9 using Grobner basis techniques / J.-C. Faugere -- On the complexity of computing determinants (extended abstract) / E. Kaltofen and G. Villard -- Papers. Investigating the growth of length of intermediate expressions in polynomial sequences using a maple program (extended abstract) / M.A.O. Camargo-Brunetto -- Giesbrecht's algorithm, the HFE cryptosystem and Ore's p8-polynomials / R.S. Coulter, G. Havas and M. Henderson -- Solution of a linear differential equation in the form of power series and its application / T. Kitamoto -- A new algorithm for real roots of a zero-dimensional system by a linear separating map / Y. Kondoh, T. Saito and T. Takeshima -- On the specification for solvers of polynomial systems / D. Lazard -- On the construction of a PSE for GCD computation (extended abstract) / K. Li [and others] -- OMEI: An open mathematical engine interface / W. Liao [and others] -- Polynomial solutions of algebraic differential equations / Y. Ma and X.-S. Gao -- The design and implementation of OpenXM-RFC 100 and 101 / M. Maekawa [and others] -- FIGUE: Mathematical formula layout with interaction and MathML support / H. Naciri and L. Rideau -- Symbolic-numeric computations of Wu's method: Comparison of the cut-off method and the stabilization techniques / Y. Notake, H. Kai and M.-T. Noda -- An inductive approach to formalizing notions of number theory proofs / T.M. Rasmussen -- Application of Grobner basis and quantifier elimination in engineering design: An introduction for engineers / H. Sawada and X.-T. Yan -- JavaMath: An API for Internet accessible mathematical services / A. Solomon and C.A. Struble -- Deformation of double cusp singularity on an irreducible quartic curve by using the computer algebra system Risa/Asir / T. Takahashi -- A generalized algorithm for computing characteristic sets / D. Wang -- Deciding inclusion of differential quasi-algebraic varieties / J. Wang, L. LI and F. Xie -- Action refinement for timed LOTOS / J. Wu -- Symbolic computation and abundant new families of exact solutions for the coupled modified KdV-KdV equation (extended abstract) / Z. Yan and H. Zhang -- Exact analytical solutions to a set of coupled nonlinear differential equations using symbolic computation / R.-X. Yao and Z.-B. Li -- An effective algorithm for isolating the real solutions of semi-algebraic systems and its applications / B.C. Xia and L. Yang -- C-D integrable system and computer aided solver for differential equations / H. Zhang. | |
| 520 | |a This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference. | ||
| 650 | 0 | |a Computer science |x Mathematics |v Congresses. | |
| 650 | 0 | |a Computer science |v Congresses. | |
| 650 | 6 | |a Informatique |x Mathématiques |v Congrès. | |
| 650 | 6 | |a Informatique |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a Computer science |2 fast | |
| 650 | 7 | |a Computer science |x Mathematics |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Shirayanagi, Kiyoshi. | |
| 700 | 1 | |a Yokoyama, Kazuhiro. | |
| 758 | |i has work: |a Computer mathematics (Text) |1 https://id.oclc.org/worldcat/entity/E39PCYVFPdwvx444kF6mqmrRmm |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Asian Symposium on Computer Mathematics (5th : 2001 : Matsuyama-shi, Japan). |t Computer mathematics. |d River Edge, N.J. : World Scientific, ©2001 |w (DLC) 2001278598 |
| 830 | 0 | |a Lecture notes series on computing ; |v v. 9. |0 http://id.loc.gov/authorities/names/n92054517 | |
| 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=235762 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24685480 | ||
| 938 | |a ebrary |b EBRY |n ebr10255407 | ||
| 938 | |a EBSCOhost |b EBSC |n 235762 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn646768171 |
|---|---|
| _version_ | 1816881725088727040 |
| adam_text | |
| any_adam_object | |
| author2 | Shirayanagi, Kiyoshi Yokoyama, Kazuhiro |
| author2_role | |
| author2_variant | k s ks k y ky |
| author_corporate | Asian Symposium on Computer Mathematics Matsuyama-shi, Japan |
| author_corporate_role | |
| author_facet | Shirayanagi, Kiyoshi Yokoyama, Kazuhiro Asian Symposium on Computer Mathematics Matsuyama-shi, Japan |
| author_sort | Asian Symposium on Computer Mathematics Matsuyama-shi, Japan |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.M35 A83 2001eb |
| callnumber-search | QA76.9.M35 A83 2001eb |
| callnumber-sort | QA 276.9 M35 A83 42001EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Invited talks. Finding all the solutions of cyclic 9 using Grobner basis techniques / J.-C. Faugere -- On the complexity of computing determinants (extended abstract) / E. Kaltofen and G. Villard -- Papers. Investigating the growth of length of intermediate expressions in polynomial sequences using a maple program (extended abstract) / M.A.O. Camargo-Brunetto -- Giesbrecht's algorithm, the HFE cryptosystem and Ore's p8-polynomials / R.S. Coulter, G. Havas and M. Henderson -- Solution of a linear differential equation in the form of power series and its application / T. Kitamoto -- A new algorithm for real roots of a zero-dimensional system by a linear separating map / Y. Kondoh, T. Saito and T. Takeshima -- On the specification for solvers of polynomial systems / D. Lazard -- On the construction of a PSE for GCD computation (extended abstract) / K. Li [and others] -- OMEI: An open mathematical engine interface / W. Liao [and others] -- Polynomial solutions of algebraic differential equations / Y. Ma and X.-S. Gao -- The design and implementation of OpenXM-RFC 100 and 101 / M. Maekawa [and others] -- FIGUE: Mathematical formula layout with interaction and MathML support / H. Naciri and L. Rideau -- Symbolic-numeric computations of Wu's method: Comparison of the cut-off method and the stabilization techniques / Y. Notake, H. Kai and M.-T. Noda -- An inductive approach to formalizing notions of number theory proofs / T.M. Rasmussen -- Application of Grobner basis and quantifier elimination in engineering design: An introduction for engineers / H. Sawada and X.-T. Yan -- JavaMath: An API for Internet accessible mathematical services / A. Solomon and C.A. Struble -- Deformation of double cusp singularity on an irreducible quartic curve by using the computer algebra system Risa/Asir / T. Takahashi -- A generalized algorithm for computing characteristic sets / D. Wang -- Deciding inclusion of differential quasi-algebraic varieties / J. Wang, L. LI and F. Xie -- Action refinement for timed LOTOS / J. Wu -- Symbolic computation and abundant new families of exact solutions for the coupled modified KdV-KdV equation (extended abstract) / Z. Yan and H. Zhang -- Exact analytical solutions to a set of coupled nonlinear differential equations using symbolic computation / R.-X. Yao and Z.-B. Li -- An effective algorithm for isolating the real solutions of semi-algebraic systems and its applications / B.C. Xia and L. Yang -- C-D integrable system and computer aided solver for differential equations / H. Zhang. |
| ctrlnum | (OCoLC)646768171 |
| dewey-full | 004/.01/51 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/51 |
| dewey-search | 004/.01/51 |
| dewey-sort | 14 11 251 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06786cam a2200757Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn646768171</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">011213s2001 njua ob 101 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2001278598</subfield></datafield><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">UBY</subfield><subfield code="d">N$T</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">STF</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">AGLDB</subfield><subfield code="d">COCUF</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">JBG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">INT</subfield><subfield code="d">NRAMU</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AU@</subfield><subfield code="d">M8D</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKCRE</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">263420769</subfield><subfield code="a">505135633</subfield><subfield code="a">764498428</subfield><subfield code="a">961562113</subfield><subfield code="a">962624555</subfield><subfield code="a">974976144</subfield><subfield code="a">975017254</subfield><subfield code="a">988486048</subfield><subfield code="a">991915974</subfield><subfield code="a">1037795301</subfield><subfield code="a">1038700449</subfield><subfield code="a">1043633644</subfield><subfield code="a">1081206655</subfield><subfield code="a">1153497309</subfield><subfield code="a">1224927500</subfield><subfield code="a">1228572101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812799661</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812799664</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789810247638</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">981024763X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)646768171</subfield><subfield code="z">(OCoLC)263420769</subfield><subfield code="z">(OCoLC)505135633</subfield><subfield code="z">(OCoLC)764498428</subfield><subfield code="z">(OCoLC)961562113</subfield><subfield code="z">(OCoLC)962624555</subfield><subfield code="z">(OCoLC)974976144</subfield><subfield code="z">(OCoLC)975017254</subfield><subfield code="z">(OCoLC)988486048</subfield><subfield code="z">(OCoLC)991915974</subfield><subfield code="z">(OCoLC)1037795301</subfield><subfield code="z">(OCoLC)1038700449</subfield><subfield code="z">(OCoLC)1043633644</subfield><subfield code="z">(OCoLC)1081206655</subfield><subfield code="z">(OCoLC)1153497309</subfield><subfield code="z">(OCoLC)1224927500</subfield><subfield code="z">(OCoLC)1228572101</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.M35</subfield><subfield code="b">A83 2001eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">052000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">037000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">013000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">032000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">067000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">004/.01/51</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Asian Symposium on Computer Mathematics</subfield><subfield code="n">(5th :</subfield><subfield code="d">2001 :</subfield><subfield code="c">Matsuyama-shi, Japan)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer mathematics :</subfield><subfield code="b">proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 /</subfield><subfield code="c">editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">River Edge, N.J. :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2001.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 227 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="347" ind1=" " ind2=" "><subfield code="a">data file</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes series on computing ;</subfield><subfield code="v">v. 9</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Invited talks. Finding all the solutions of cyclic 9 using Grobner basis techniques / J.-C. Faugere -- On the complexity of computing determinants (extended abstract) / E. Kaltofen and G. Villard -- Papers. Investigating the growth of length of intermediate expressions in polynomial sequences using a maple program (extended abstract) / M.A.O. Camargo-Brunetto -- Giesbrecht's algorithm, the HFE cryptosystem and Ore's p8-polynomials / R.S. Coulter, G. Havas and M. Henderson -- Solution of a linear differential equation in the form of power series and its application / T. Kitamoto -- A new algorithm for real roots of a zero-dimensional system by a linear separating map / Y. Kondoh, T. Saito and T. Takeshima -- On the specification for solvers of polynomial systems / D. Lazard -- On the construction of a PSE for GCD computation (extended abstract) / K. Li [and others] -- OMEI: An open mathematical engine interface / W. Liao [and others] -- Polynomial solutions of algebraic differential equations / Y. Ma and X.-S. Gao -- The design and implementation of OpenXM-RFC 100 and 101 / M. Maekawa [and others] -- FIGUE: Mathematical formula layout with interaction and MathML support / H. Naciri and L. Rideau -- Symbolic-numeric computations of Wu's method: Comparison of the cut-off method and the stabilization techniques / Y. Notake, H. Kai and M.-T. Noda -- An inductive approach to formalizing notions of number theory proofs / T.M. Rasmussen -- Application of Grobner basis and quantifier elimination in engineering design: An introduction for engineers / H. Sawada and X.-T. Yan -- JavaMath: An API for Internet accessible mathematical services / A. Solomon and C.A. Struble -- Deformation of double cusp singularity on an irreducible quartic curve by using the computer algebra system Risa/Asir / T. Takahashi -- A generalized algorithm for computing characteristic sets / D. Wang -- Deciding inclusion of differential quasi-algebraic varieties / J. Wang, L. LI and F. Xie -- Action refinement for timed LOTOS / J. Wu -- Symbolic computation and abundant new families of exact solutions for the coupled modified KdV-KdV equation (extended abstract) / Z. Yan and H. Zhang -- Exact analytical solutions to a set of coupled nonlinear differential equations using symbolic computation / R.-X. Yao and Z.-B. Li -- An effective algorithm for isolating the real solutions of semi-algebraic systems and its applications / B.C. Xia and L. Yang -- C-D integrable system and computer aided solver for differential equations / H. Zhang.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informatique</subfield><subfield code="x">Mathématiques</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informatique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Machine Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Literacy.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Information Technology.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Data Processing.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Hardware</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shirayanagi, Kiyoshi.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yokoyama, Kazuhiro.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Computer mathematics (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCYVFPdwvx444kF6mqmrRmm</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">Asian Symposium on Computer Mathematics (5th : 2001 : Matsuyama-shi, Japan).</subfield><subfield code="t">Computer mathematics.</subfield><subfield code="d">River Edge, N.J. : World Scientific, ©2001</subfield><subfield code="w">(DLC) 2001278598</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes series on computing ;</subfield><subfield code="v">v. 9.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92054517</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=235762</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">AH24685480</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10255407</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">235762</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 |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn646768171 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:17Z |
| institution | BVB |
| isbn | 9789812799661 9812799664 |
| language | English |
| oclc_num | 646768171 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xi, 227 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | World Scientific, |
| record_format | marc |
| series | Lecture notes series on computing ; |
| series2 | Lecture notes series on computing ; |
| spelling | Asian Symposium on Computer Mathematics (5th : 2001 : Matsuyama-shi, Japan) Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 / editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama. River Edge, N.J. : World Scientific, ©2001. 1 online resource (xi, 227 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file rda Lecture notes series on computing ; v. 9 Includes bibliographical references and index. Print version record. Invited talks. Finding all the solutions of cyclic 9 using Grobner basis techniques / J.-C. Faugere -- On the complexity of computing determinants (extended abstract) / E. Kaltofen and G. Villard -- Papers. Investigating the growth of length of intermediate expressions in polynomial sequences using a maple program (extended abstract) / M.A.O. Camargo-Brunetto -- Giesbrecht's algorithm, the HFE cryptosystem and Ore's p8-polynomials / R.S. Coulter, G. Havas and M. Henderson -- Solution of a linear differential equation in the form of power series and its application / T. Kitamoto -- A new algorithm for real roots of a zero-dimensional system by a linear separating map / Y. Kondoh, T. Saito and T. Takeshima -- On the specification for solvers of polynomial systems / D. Lazard -- On the construction of a PSE for GCD computation (extended abstract) / K. Li [and others] -- OMEI: An open mathematical engine interface / W. Liao [and others] -- Polynomial solutions of algebraic differential equations / Y. Ma and X.-S. Gao -- The design and implementation of OpenXM-RFC 100 and 101 / M. Maekawa [and others] -- FIGUE: Mathematical formula layout with interaction and MathML support / H. Naciri and L. Rideau -- Symbolic-numeric computations of Wu's method: Comparison of the cut-off method and the stabilization techniques / Y. Notake, H. Kai and M.-T. Noda -- An inductive approach to formalizing notions of number theory proofs / T.M. Rasmussen -- Application of Grobner basis and quantifier elimination in engineering design: An introduction for engineers / H. Sawada and X.-T. Yan -- JavaMath: An API for Internet accessible mathematical services / A. Solomon and C.A. Struble -- Deformation of double cusp singularity on an irreducible quartic curve by using the computer algebra system Risa/Asir / T. Takahashi -- A generalized algorithm for computing characteristic sets / D. Wang -- Deciding inclusion of differential quasi-algebraic varieties / J. Wang, L. LI and F. Xie -- Action refinement for timed LOTOS / J. Wu -- Symbolic computation and abundant new families of exact solutions for the coupled modified KdV-KdV equation (extended abstract) / Z. Yan and H. Zhang -- Exact analytical solutions to a set of coupled nonlinear differential equations using symbolic computation / R.-X. Yao and Z.-B. Li -- An effective algorithm for isolating the real solutions of semi-algebraic systems and its applications / B.C. Xia and L. Yang -- C-D integrable system and computer aided solver for differential equations / H. Zhang. This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference. Computer science Mathematics Congresses. Computer science Congresses. Informatique Mathématiques Congrès. Informatique Congrès. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Computer science fast Computer science Mathematics fast Conference papers and proceedings fast Shirayanagi, Kiyoshi. Yokoyama, Kazuhiro. has work: Computer mathematics (Text) https://id.oclc.org/worldcat/entity/E39PCYVFPdwvx444kF6mqmrRmm https://id.oclc.org/worldcat/ontology/hasWork Print version: Asian Symposium on Computer Mathematics (5th : 2001 : Matsuyama-shi, Japan). Computer mathematics. River Edge, N.J. : World Scientific, ©2001 (DLC) 2001278598 Lecture notes series on computing ; v. 9. http://id.loc.gov/authorities/names/n92054517 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235762 Volltext |
| spellingShingle | Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 / Lecture notes series on computing ; Invited talks. Finding all the solutions of cyclic 9 using Grobner basis techniques / J.-C. Faugere -- On the complexity of computing determinants (extended abstract) / E. Kaltofen and G. Villard -- Papers. Investigating the growth of length of intermediate expressions in polynomial sequences using a maple program (extended abstract) / M.A.O. Camargo-Brunetto -- Giesbrecht's algorithm, the HFE cryptosystem and Ore's p8-polynomials / R.S. Coulter, G. Havas and M. Henderson -- Solution of a linear differential equation in the form of power series and its application / T. Kitamoto -- A new algorithm for real roots of a zero-dimensional system by a linear separating map / Y. Kondoh, T. Saito and T. Takeshima -- On the specification for solvers of polynomial systems / D. Lazard -- On the construction of a PSE for GCD computation (extended abstract) / K. Li [and others] -- OMEI: An open mathematical engine interface / W. Liao [and others] -- Polynomial solutions of algebraic differential equations / Y. Ma and X.-S. Gao -- The design and implementation of OpenXM-RFC 100 and 101 / M. Maekawa [and others] -- FIGUE: Mathematical formula layout with interaction and MathML support / H. Naciri and L. Rideau -- Symbolic-numeric computations of Wu's method: Comparison of the cut-off method and the stabilization techniques / Y. Notake, H. Kai and M.-T. Noda -- An inductive approach to formalizing notions of number theory proofs / T.M. Rasmussen -- Application of Grobner basis and quantifier elimination in engineering design: An introduction for engineers / H. Sawada and X.-T. Yan -- JavaMath: An API for Internet accessible mathematical services / A. Solomon and C.A. Struble -- Deformation of double cusp singularity on an irreducible quartic curve by using the computer algebra system Risa/Asir / T. Takahashi -- A generalized algorithm for computing characteristic sets / D. Wang -- Deciding inclusion of differential quasi-algebraic varieties / J. Wang, L. LI and F. Xie -- Action refinement for timed LOTOS / J. Wu -- Symbolic computation and abundant new families of exact solutions for the coupled modified KdV-KdV equation (extended abstract) / Z. Yan and H. Zhang -- Exact analytical solutions to a set of coupled nonlinear differential equations using symbolic computation / R.-X. Yao and Z.-B. Li -- An effective algorithm for isolating the real solutions of semi-algebraic systems and its applications / B.C. Xia and L. Yang -- C-D integrable system and computer aided solver for differential equations / H. Zhang. Computer science Mathematics Congresses. Computer science Congresses. Informatique Mathématiques Congrès. Informatique Congrès. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Computer science fast Computer science Mathematics fast |
| title | Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 / |
| title_auth | Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 / |
| title_exact_search | Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 / |
| title_full | Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 / editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama. |
| title_fullStr | Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 / editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama. |
| title_full_unstemmed | Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 / editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama. |
| title_short | Computer mathematics : |
| title_sort | computer mathematics proceedings of the fifth asian symposium ascm 2001 matsuyama japan 26 28 september 2001 |
| title_sub | proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 / |
| topic | Computer science Mathematics Congresses. Computer science Congresses. Informatique Mathématiques Congrès. Informatique Congrès. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Computer science fast Computer science Mathematics fast |
| topic_facet | Computer science Mathematics Congresses. Computer science Congresses. Informatique Mathématiques Congrès. Informatique Congrès. COMPUTERS Reference. COMPUTERS Machine Theory. COMPUTERS Computer Literacy. COMPUTERS Information Technology. COMPUTERS Data Processing. COMPUTERS Computer Science. COMPUTERS Hardware General. Computer science Computer science Mathematics Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235762 |
| work_keys_str_mv | AT asiansymposiumoncomputermathematicsmatsuyamashijapan computermathematicsproceedingsofthefifthasiansymposiumascm2001matsuyamajapan2628september2001 AT shirayanagikiyoshi computermathematicsproceedingsofthefifthasiansymposiumascm2001matsuyamajapan2628september2001 AT yokoyamakazuhiro computermathematicsproceedingsofthefifthasiansymposiumascm2001matsuyamajapan2628september2001 |