Mathematical software :: proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorith...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
River Edge, NJ :
World Scientific,
©2002.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems. This volume contains the papers presented at the First International Congress of Mathematical Software, which aimed at a coherent study of mathematical software systems from a wide variety of branches of mathematics. The book discusses more than one hundred mathematical software systems. Readers can get an overview of the current status of the arts of mathematical software and algorithms. |
| Beschreibung: | 1 online resource (xiii, 514 pages) : illustrations |
| Bibliographie: | Includes bibliographical references and indexes. |
| ISBN: | 9789812777171 9812777172 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn182518702 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 071126s2002 njua ob 101 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d N$T |d YDXCP |d OCLCQ |d OCLCA |d OCLCF |d NLGGC |d OCLCO |d STF |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d COCUF |d OCLCQ |d VTS |d AGLDB |d OCLCQ |d AU@ |d M8D |d OCL |d OCLCQ |d K6U |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9789812777171 |q (electronic bk.) | ||
| 020 | |a 9812777172 |q (electronic bk.) | ||
| 035 | |a (OCoLC)182518702 | ||
| 050 | 4 | |a QA76.95 |b .I5654 2002eb | |
| 072 | 7 | |a MAT |x 008000 |2 bisacsh | |
| 082 | 7 | |a 510/.285/536 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a International Congress of Mathematical Software |n (1st : |d 2002 : |c Beijing, China) | |
| 245 | 1 | 0 | |a Mathematical software : |b proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / |c editors, Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama. |
| 246 | 1 | 8 | |a ICMS 2002 |
| 246 | 3 | 0 | |a Proceedings of the first International Congress of Mathematical Software |
| 260 | |a River Edge, NJ : |b World Scientific, |c ©2002. | ||
| 300 | |a 1 online resource (xiii, 514 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 indexes. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a The experimental mathematician: a computational guide to the mathematical unknown / J.M. Borwein -- Computer algebra and finite groups / G.-M. Greuel and G. Pfister -- Software integration and computer proofs / M. Joswig -- Software carry-save for fast multiple-precision algorithms / D. Defour and F. De Dinechin -- LinBox: a generic library for exact linear algebra / J.-G. Dumas [and others] -- Block-iterative algorithms for image reconstruction / M. Jiang and G. Wang -- The snap package for arithmetic with numeric polynomials / C.-P. Jeannerod and G. Labahn -- Algorithms of composite rational interpolation based on continued fractions / J.Q. Tan and S. Tang -- Fast and space-efficient algorithms for deciding shellability of simplicial complexes of large size using h-assignments / S. Moriyama, A. Nagai and H. Imai -- Computing GCLF using syzygy algorithm / M. Wang and C.P. Kwong -- Efficient cooperative solvers for nonlinear continuous constraint problems / Y. Shang, M.P.J. Fromherz and L.S. Crawford -- Pseudo-divison machine (I): a model of symbolic computation / Z.K. She, B.C. Xia and Z.M. Zheng -- XSSR: an experimental system for string rewriting -- decision problems, algorithms, and implementation / D. Hofbauer [and others] -- The differential structure of the Brieskorn lattice / M. Schulze -- An efficient modular algorithm for computing the global b-function / M. Noro -- A method for constructing holonomic systems for algebraic local cohomology classes with support on a zero dimensional variety / Y. Nakamura and S. Tajima -- D-modules for Macaulay 2 / A. Leykin -- Computer graphics in mathematical research; from Helsinki 1978 to Beijing 2002 / T.F. Banchoff -- Generating optimal curves via the C++ standard library / A. Linnér -- A mathematical webservice for recognizing the unknot / M.V. Andreeva, I.A. Dynnikov and K. Polthier -- Making the move: the next version of Cinderella / U. Kortenkamp and J. Richter-Gebert -- Prime decomposition of polynomial ideals over finite fields / K. Yokoyama -- Partial standard bases for families / A. Frühbis-Krüger -- An environment for symbolic and numeric computation / G. Dos Reis [and others] -- Computing elliptic curves using KASH / M. Kida -- Computing the endomorphism type of ordinary elliptic curves over finite fields with KANT/V4 / M. Henningsen -- On a distribution of the group of rational points of reductions of an elliptic curve / R. Takeuchi -- Algorithmic constructions of elliptic curves with complex multiplication / A. Enge -- Parallel implementation of polyhedral continuation methods for systems of polynomial equations / M. Kojima [and others] -- CMPSm: a continuation method for polynomial systems (MATLAB version) / S. Kim and M. Kojima -- Generating functions that count t-designs with given automorphism group: algorithms and structure / J.A. De Loera -- On the computation of Hilbert bases of cones / R. Hemmecke -- ENCAPSULATE! / D. Zeilberger. | |
| 505 | 8 | |a Computer algebra library for the construction of the minimal telescopers / S.A. Abramov, K.O. Geddes and H.Q. Le -- TOPCOM: triangulations of point configurations and oriented matroids / J. Rambau -- Parallel backtrack computing of association schemes using classroom PC's / I. Miyamoto -- On canonical representations of convex polyhedra / D. Avis, K. Fukuda and S. Picozzi -- Decomposing polynomial systems into strong regular sets / Y.-B. Li, J.-Z. Zhang and L. Yang -- Wu Wen-Tsün formulae for the blending of quadratic surfaces / N. Lei, T.-R. Wu and G.-C. Feng -- Epsilon: a library of software tools for polynomial elimination / D.M. Wang -- Minimal sets of critical pairs / M. Caboara, M. Kreuzer and L. Robbiano -- A study in the integration of computer algebra systems: memory management in a Maple-Aldor environment / S.M. Watt -- Local and remote user interface for ELIMINO through OMEI / Y.W. Wu [and others] -- Programming the IBM MathML expression editor for interactive mathematical applications / S.S. Dooley -- From mathematical servers to mathematical services / M. Dewar and D. Carlisle -- Towards a mathematical services description language / O. Caprotti and W. Schreiner -- An algorithm to compute the minimal telescopers for rational functions (differential-integral case) / K.O. Geddes and H.Q. Le -- An automated algebraic method for finding exact solutions to nonlinear evolution equations / Z.-B. Li, Y.-P. Liu and R.-X. Yao -- Parametric analysis of systems of algebraic inequalities / A.V. Banshchikov -- [symbol] -- an Aldor library for linear differential and difference equations (abstract) / M. Bronstein -- ALLTYPES: an algebraic language and TYPE system / F. Schwarz -- Secure internet accessible mathematical computation framework / D.D. Lin, Z.M. Song and P.S. Wang -- Solution space smoothing for VLSI module placement: a computational study / S.Q. Dong [and others] -- SIMATH -- recent developments in TMU / T. Matsui [and others] -- Structures of polynomial types in problems of the invariant analysis and synthesis of differential equations / A.V. Flegonov. | |
| 520 | |a The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems. This volume contains the papers presented at the First International Congress of Mathematical Software, which aimed at a coherent study of mathematical software systems from a wide variety of branches of mathematics. The book discusses more than one hundred mathematical software systems. Readers can get an overview of the current status of the arts of mathematical software and algorithms. | ||
| 650 | 0 | |a Mathematics |x Data processing |v Congresses. | |
| 650 | 0 | |a Computer software |v Congresses. | |
| 650 | 6 | |a Mathématiques |x Informatique |v Congrès. | |
| 650 | 6 | |a Logiciels |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Discrete Mathematics. |2 bisacsh | |
| 650 | 7 | |a Computer software |2 fast | |
| 650 | 7 | |a Mathematics |x Data processing |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Cohen, Arjeh M. |0 http://id.loc.gov/authorities/names/n86817520 | |
| 700 | 1 | |a Gao, Xiao-Shan. |0 http://id.loc.gov/authorities/names/n94015565 | |
| 700 | 1 | |a Takayama, Nobuki, |d 1959- |1 https://id.oclc.org/worldcat/entity/E39PBJwdfJvMk9hwvMKCFWwV4q |0 http://id.loc.gov/authorities/names/n99830482 | |
| 758 | |i has work: |a Mathematical software (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGK9GVkRpTFDTMxBcFcmwK |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a International Congress of Mathematical Software (1st : 2002 : Beijing, China). |t Mathematical software. |d River Edge, NJ : World Scientific, ©2002 |z 9812380485 |z 9789812380487 |w (DLC) 2005297681 |w (OCoLC)51036292 |
| 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=210673 |3 Volltext |
| 938 | |a EBSCOhost |b EBSC |n 210673 | ||
| 938 | |a YBP Library Services |b YANK |n 2740409 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn182518702 |
|---|---|
| _version_ | 1816881657143099392 |
| adam_text | |
| any_adam_object | |
| author2 | Cohen, Arjeh M. Gao, Xiao-Shan Takayama, Nobuki, 1959- |
| author2_role | |
| author2_variant | a m c am amc x s g xsg n t nt |
| author_GND | http://id.loc.gov/authorities/names/n86817520 http://id.loc.gov/authorities/names/n94015565 http://id.loc.gov/authorities/names/n99830482 |
| author_corporate | International Congress of Mathematical Software Beijing, China |
| author_corporate_role | |
| author_facet | Cohen, Arjeh M. Gao, Xiao-Shan Takayama, Nobuki, 1959- International Congress of Mathematical Software Beijing, China |
| author_sort | International Congress of Mathematical Software Beijing, China |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.95 .I5654 2002eb |
| callnumber-search | QA76.95 .I5654 2002eb |
| callnumber-sort | QA 276.95 I5654 42002EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | The experimental mathematician: a computational guide to the mathematical unknown / J.M. Borwein -- Computer algebra and finite groups / G.-M. Greuel and G. Pfister -- Software integration and computer proofs / M. Joswig -- Software carry-save for fast multiple-precision algorithms / D. Defour and F. De Dinechin -- LinBox: a generic library for exact linear algebra / J.-G. Dumas [and others] -- Block-iterative algorithms for image reconstruction / M. Jiang and G. Wang -- The snap package for arithmetic with numeric polynomials / C.-P. Jeannerod and G. Labahn -- Algorithms of composite rational interpolation based on continued fractions / J.Q. Tan and S. Tang -- Fast and space-efficient algorithms for deciding shellability of simplicial complexes of large size using h-assignments / S. Moriyama, A. Nagai and H. Imai -- Computing GCLF using syzygy algorithm / M. Wang and C.P. Kwong -- Efficient cooperative solvers for nonlinear continuous constraint problems / Y. Shang, M.P.J. Fromherz and L.S. Crawford -- Pseudo-divison machine (I): a model of symbolic computation / Z.K. She, B.C. Xia and Z.M. Zheng -- XSSR: an experimental system for string rewriting -- decision problems, algorithms, and implementation / D. Hofbauer [and others] -- The differential structure of the Brieskorn lattice / M. Schulze -- An efficient modular algorithm for computing the global b-function / M. Noro -- A method for constructing holonomic systems for algebraic local cohomology classes with support on a zero dimensional variety / Y. Nakamura and S. Tajima -- D-modules for Macaulay 2 / A. Leykin -- Computer graphics in mathematical research; from Helsinki 1978 to Beijing 2002 / T.F. Banchoff -- Generating optimal curves via the C++ standard library / A. Linnér -- A mathematical webservice for recognizing the unknot / M.V. Andreeva, I.A. Dynnikov and K. Polthier -- Making the move: the next version of Cinderella / U. Kortenkamp and J. Richter-Gebert -- Prime decomposition of polynomial ideals over finite fields / K. Yokoyama -- Partial standard bases for families / A. Frühbis-Krüger -- An environment for symbolic and numeric computation / G. Dos Reis [and others] -- Computing elliptic curves using KASH / M. Kida -- Computing the endomorphism type of ordinary elliptic curves over finite fields with KANT/V4 / M. Henningsen -- On a distribution of the group of rational points of reductions of an elliptic curve / R. Takeuchi -- Algorithmic constructions of elliptic curves with complex multiplication / A. Enge -- Parallel implementation of polyhedral continuation methods for systems of polynomial equations / M. Kojima [and others] -- CMPSm: a continuation method for polynomial systems (MATLAB version) / S. Kim and M. Kojima -- Generating functions that count t-designs with given automorphism group: algorithms and structure / J.A. De Loera -- On the computation of Hilbert bases of cones / R. Hemmecke -- ENCAPSULATE! / D. Zeilberger. Computer algebra library for the construction of the minimal telescopers / S.A. Abramov, K.O. Geddes and H.Q. Le -- TOPCOM: triangulations of point configurations and oriented matroids / J. Rambau -- Parallel backtrack computing of association schemes using classroom PC's / I. Miyamoto -- On canonical representations of convex polyhedra / D. Avis, K. Fukuda and S. Picozzi -- Decomposing polynomial systems into strong regular sets / Y.-B. Li, J.-Z. Zhang and L. Yang -- Wu Wen-Tsün formulae for the blending of quadratic surfaces / N. Lei, T.-R. Wu and G.-C. Feng -- Epsilon: a library of software tools for polynomial elimination / D.M. Wang -- Minimal sets of critical pairs / M. Caboara, M. Kreuzer and L. Robbiano -- A study in the integration of computer algebra systems: memory management in a Maple-Aldor environment / S.M. Watt -- Local and remote user interface for ELIMINO through OMEI / Y.W. Wu [and others] -- Programming the IBM MathML expression editor for interactive mathematical applications / S.S. Dooley -- From mathematical servers to mathematical services / M. Dewar and D. Carlisle -- Towards a mathematical services description language / O. Caprotti and W. Schreiner -- An algorithm to compute the minimal telescopers for rational functions (differential-integral case) / K.O. Geddes and H.Q. Le -- An automated algebraic method for finding exact solutions to nonlinear evolution equations / Z.-B. Li, Y.-P. Liu and R.-X. Yao -- Parametric analysis of systems of algebraic inequalities / A.V. Banshchikov -- [symbol] -- an Aldor library for linear differential and difference equations (abstract) / M. Bronstein -- ALLTYPES: an algebraic language and TYPE system / F. Schwarz -- Secure internet accessible mathematical computation framework / D.D. Lin, Z.M. Song and P.S. Wang -- Solution space smoothing for VLSI module placement: a computational study / S.Q. Dong [and others] -- SIMATH -- recent developments in TMU / T. Matsui [and others] -- Structures of polynomial types in problems of the invariant analysis and synthesis of differential equations / A.V. Flegonov. |
| ctrlnum | (OCoLC)182518702 |
| dewey-full | 510/.285/536 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510/.285/536 |
| dewey-search | 510/.285/536 |
| dewey-sort | 3510 3285 3536 |
| 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>08630cam a2200565 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn182518702</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">071126s2002 njua ob 101 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCF</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COCUF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AU@</subfield><subfield code="d">M8D</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812777171</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812777172</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)182518702</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.95</subfield><subfield code="b">.I5654 2002eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">008000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">510/.285/536</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">International Congress of Mathematical Software</subfield><subfield code="n">(1st :</subfield><subfield code="d">2002 :</subfield><subfield code="c">Beijing, China)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical software :</subfield><subfield code="b">proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /</subfield><subfield code="c">editors, Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama.</subfield></datafield><datafield tag="246" ind1="1" ind2="8"><subfield code="a">ICMS 2002</subfield></datafield><datafield tag="246" ind1="3" ind2="0"><subfield code="a">Proceedings of the first International Congress of Mathematical Software</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">River Edge, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2002.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiii, 514 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 indexes.</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">The experimental mathematician: a computational guide to the mathematical unknown / J.M. Borwein -- Computer algebra and finite groups / G.-M. Greuel and G. Pfister -- Software integration and computer proofs / M. Joswig -- Software carry-save for fast multiple-precision algorithms / D. Defour and F. De Dinechin -- LinBox: a generic library for exact linear algebra / J.-G. Dumas [and others] -- Block-iterative algorithms for image reconstruction / M. Jiang and G. Wang -- The snap package for arithmetic with numeric polynomials / C.-P. Jeannerod and G. Labahn -- Algorithms of composite rational interpolation based on continued fractions / J.Q. Tan and S. Tang -- Fast and space-efficient algorithms for deciding shellability of simplicial complexes of large size using h-assignments / S. Moriyama, A. Nagai and H. Imai -- Computing GCLF using syzygy algorithm / M. Wang and C.P. Kwong -- Efficient cooperative solvers for nonlinear continuous constraint problems / Y. Shang, M.P.J. Fromherz and L.S. Crawford -- Pseudo-divison machine (I): a model of symbolic computation / Z.K. She, B.C. Xia and Z.M. Zheng -- XSSR: an experimental system for string rewriting -- decision problems, algorithms, and implementation / D. Hofbauer [and others] -- The differential structure of the Brieskorn lattice / M. Schulze -- An efficient modular algorithm for computing the global b-function / M. Noro -- A method for constructing holonomic systems for algebraic local cohomology classes with support on a zero dimensional variety / Y. Nakamura and S. Tajima -- D-modules for Macaulay 2 / A. Leykin -- Computer graphics in mathematical research; from Helsinki 1978 to Beijing 2002 / T.F. Banchoff -- Generating optimal curves via the C++ standard library / A. Linnér -- A mathematical webservice for recognizing the unknot / M.V. Andreeva, I.A. Dynnikov and K. Polthier -- Making the move: the next version of Cinderella / U. Kortenkamp and J. Richter-Gebert -- Prime decomposition of polynomial ideals over finite fields / K. Yokoyama -- Partial standard bases for families / A. Frühbis-Krüger -- An environment for symbolic and numeric computation / G. Dos Reis [and others] -- Computing elliptic curves using KASH / M. Kida -- Computing the endomorphism type of ordinary elliptic curves over finite fields with KANT/V4 / M. Henningsen -- On a distribution of the group of rational points of reductions of an elliptic curve / R. Takeuchi -- Algorithmic constructions of elliptic curves with complex multiplication / A. Enge -- Parallel implementation of polyhedral continuation methods for systems of polynomial equations / M. Kojima [and others] -- CMPSm: a continuation method for polynomial systems (MATLAB version) / S. Kim and M. Kojima -- Generating functions that count t-designs with given automorphism group: algorithms and structure / J.A. De Loera -- On the computation of Hilbert bases of cones / R. Hemmecke -- ENCAPSULATE! / D. Zeilberger.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Computer algebra library for the construction of the minimal telescopers / S.A. Abramov, K.O. Geddes and H.Q. Le -- TOPCOM: triangulations of point configurations and oriented matroids / J. Rambau -- Parallel backtrack computing of association schemes using classroom PC's / I. Miyamoto -- On canonical representations of convex polyhedra / D. Avis, K. Fukuda and S. Picozzi -- Decomposing polynomial systems into strong regular sets / Y.-B. Li, J.-Z. Zhang and L. Yang -- Wu Wen-Tsün formulae for the blending of quadratic surfaces / N. Lei, T.-R. Wu and G.-C. Feng -- Epsilon: a library of software tools for polynomial elimination / D.M. Wang -- Minimal sets of critical pairs / M. Caboara, M. Kreuzer and L. Robbiano -- A study in the integration of computer algebra systems: memory management in a Maple-Aldor environment / S.M. Watt -- Local and remote user interface for ELIMINO through OMEI / Y.W. Wu [and others] -- Programming the IBM MathML expression editor for interactive mathematical applications / S.S. Dooley -- From mathematical servers to mathematical services / M. Dewar and D. Carlisle -- Towards a mathematical services description language / O. Caprotti and W. Schreiner -- An algorithm to compute the minimal telescopers for rational functions (differential-integral case) / K.O. Geddes and H.Q. Le -- An automated algebraic method for finding exact solutions to nonlinear evolution equations / Z.-B. Li, Y.-P. Liu and R.-X. Yao -- Parametric analysis of systems of algebraic inequalities / A.V. Banshchikov -- [symbol] -- an Aldor library for linear differential and difference equations (abstract) / M. Bronstein -- ALLTYPES: an algebraic language and TYPE system / F. Schwarz -- Secure internet accessible mathematical computation framework / D.D. Lin, Z.M. Song and P.S. Wang -- Solution space smoothing for VLSI module placement: a computational study / S.Q. Dong [and others] -- SIMATH -- recent developments in TMU / T. Matsui [and others] -- Structures of polynomial types in problems of the invariant analysis and synthesis of differential equations / A.V. Flegonov.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems. This volume contains the papers presented at the First International Congress of Mathematical Software, which aimed at a coherent study of mathematical software systems from a wide variety of branches of mathematics. The book discusses more than one hundred mathematical software systems. Readers can get an overview of the current status of the arts of mathematical software and algorithms.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">Data processing</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Mathématiques</subfield><subfield code="x">Informatique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiciels</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Discrete Mathematics.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="x">Data processing</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">Cohen, Arjeh M.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n86817520</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gao, Xiao-Shan.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n94015565</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Takayama, Nobuki,</subfield><subfield code="d">1959-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJwdfJvMk9hwvMKCFWwV4q</subfield><subfield code="0">http://id.loc.gov/authorities/names/n99830482</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Mathematical software (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGK9GVkRpTFDTMxBcFcmwK</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 Congress of Mathematical Software (1st : 2002 : Beijing, China).</subfield><subfield code="t">Mathematical software.</subfield><subfield code="d">River Edge, NJ : World Scientific, ©2002</subfield><subfield code="z">9812380485</subfield><subfield code="z">9789812380487</subfield><subfield code="w">(DLC) 2005297681</subfield><subfield code="w">(OCoLC)51036292</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=210673</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">210673</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2740409</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-ocn182518702 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:12Z |
| institution | BVB |
| isbn | 9789812777171 9812777172 |
| language | English |
| oclc_num | 182518702 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xiii, 514 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | World Scientific, |
| record_format | marc |
| spelling | International Congress of Mathematical Software (1st : 2002 : Beijing, China) Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / editors, Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama. ICMS 2002 Proceedings of the first International Congress of Mathematical Software River Edge, NJ : World Scientific, ©2002. 1 online resource (xiii, 514 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references and indexes. Print version record. The experimental mathematician: a computational guide to the mathematical unknown / J.M. Borwein -- Computer algebra and finite groups / G.-M. Greuel and G. Pfister -- Software integration and computer proofs / M. Joswig -- Software carry-save for fast multiple-precision algorithms / D. Defour and F. De Dinechin -- LinBox: a generic library for exact linear algebra / J.-G. Dumas [and others] -- Block-iterative algorithms for image reconstruction / M. Jiang and G. Wang -- The snap package for arithmetic with numeric polynomials / C.-P. Jeannerod and G. Labahn -- Algorithms of composite rational interpolation based on continued fractions / J.Q. Tan and S. Tang -- Fast and space-efficient algorithms for deciding shellability of simplicial complexes of large size using h-assignments / S. Moriyama, A. Nagai and H. Imai -- Computing GCLF using syzygy algorithm / M. Wang and C.P. Kwong -- Efficient cooperative solvers for nonlinear continuous constraint problems / Y. Shang, M.P.J. Fromherz and L.S. Crawford -- Pseudo-divison machine (I): a model of symbolic computation / Z.K. She, B.C. Xia and Z.M. Zheng -- XSSR: an experimental system for string rewriting -- decision problems, algorithms, and implementation / D. Hofbauer [and others] -- The differential structure of the Brieskorn lattice / M. Schulze -- An efficient modular algorithm for computing the global b-function / M. Noro -- A method for constructing holonomic systems for algebraic local cohomology classes with support on a zero dimensional variety / Y. Nakamura and S. Tajima -- D-modules for Macaulay 2 / A. Leykin -- Computer graphics in mathematical research; from Helsinki 1978 to Beijing 2002 / T.F. Banchoff -- Generating optimal curves via the C++ standard library / A. Linnér -- A mathematical webservice for recognizing the unknot / M.V. Andreeva, I.A. Dynnikov and K. Polthier -- Making the move: the next version of Cinderella / U. Kortenkamp and J. Richter-Gebert -- Prime decomposition of polynomial ideals over finite fields / K. Yokoyama -- Partial standard bases for families / A. Frühbis-Krüger -- An environment for symbolic and numeric computation / G. Dos Reis [and others] -- Computing elliptic curves using KASH / M. Kida -- Computing the endomorphism type of ordinary elliptic curves over finite fields with KANT/V4 / M. Henningsen -- On a distribution of the group of rational points of reductions of an elliptic curve / R. Takeuchi -- Algorithmic constructions of elliptic curves with complex multiplication / A. Enge -- Parallel implementation of polyhedral continuation methods for systems of polynomial equations / M. Kojima [and others] -- CMPSm: a continuation method for polynomial systems (MATLAB version) / S. Kim and M. Kojima -- Generating functions that count t-designs with given automorphism group: algorithms and structure / J.A. De Loera -- On the computation of Hilbert bases of cones / R. Hemmecke -- ENCAPSULATE! / D. Zeilberger. Computer algebra library for the construction of the minimal telescopers / S.A. Abramov, K.O. Geddes and H.Q. Le -- TOPCOM: triangulations of point configurations and oriented matroids / J. Rambau -- Parallel backtrack computing of association schemes using classroom PC's / I. Miyamoto -- On canonical representations of convex polyhedra / D. Avis, K. Fukuda and S. Picozzi -- Decomposing polynomial systems into strong regular sets / Y.-B. Li, J.-Z. Zhang and L. Yang -- Wu Wen-Tsün formulae for the blending of quadratic surfaces / N. Lei, T.-R. Wu and G.-C. Feng -- Epsilon: a library of software tools for polynomial elimination / D.M. Wang -- Minimal sets of critical pairs / M. Caboara, M. Kreuzer and L. Robbiano -- A study in the integration of computer algebra systems: memory management in a Maple-Aldor environment / S.M. Watt -- Local and remote user interface for ELIMINO through OMEI / Y.W. Wu [and others] -- Programming the IBM MathML expression editor for interactive mathematical applications / S.S. Dooley -- From mathematical servers to mathematical services / M. Dewar and D. Carlisle -- Towards a mathematical services description language / O. Caprotti and W. Schreiner -- An algorithm to compute the minimal telescopers for rational functions (differential-integral case) / K.O. Geddes and H.Q. Le -- An automated algebraic method for finding exact solutions to nonlinear evolution equations / Z.-B. Li, Y.-P. Liu and R.-X. Yao -- Parametric analysis of systems of algebraic inequalities / A.V. Banshchikov -- [symbol] -- an Aldor library for linear differential and difference equations (abstract) / M. Bronstein -- ALLTYPES: an algebraic language and TYPE system / F. Schwarz -- Secure internet accessible mathematical computation framework / D.D. Lin, Z.M. Song and P.S. Wang -- Solution space smoothing for VLSI module placement: a computational study / S.Q. Dong [and others] -- SIMATH -- recent developments in TMU / T. Matsui [and others] -- Structures of polynomial types in problems of the invariant analysis and synthesis of differential equations / A.V. Flegonov. The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems. This volume contains the papers presented at the First International Congress of Mathematical Software, which aimed at a coherent study of mathematical software systems from a wide variety of branches of mathematics. The book discusses more than one hundred mathematical software systems. Readers can get an overview of the current status of the arts of mathematical software and algorithms. Mathematics Data processing Congresses. Computer software Congresses. Mathématiques Informatique Congrès. Logiciels Congrès. MATHEMATICS Discrete Mathematics. bisacsh Computer software fast Mathematics Data processing fast Conference papers and proceedings fast Cohen, Arjeh M. http://id.loc.gov/authorities/names/n86817520 Gao, Xiao-Shan. http://id.loc.gov/authorities/names/n94015565 Takayama, Nobuki, 1959- https://id.oclc.org/worldcat/entity/E39PBJwdfJvMk9hwvMKCFWwV4q http://id.loc.gov/authorities/names/n99830482 has work: Mathematical software (Text) https://id.oclc.org/worldcat/entity/E39PCGK9GVkRpTFDTMxBcFcmwK https://id.oclc.org/worldcat/ontology/hasWork Print version: International Congress of Mathematical Software (1st : 2002 : Beijing, China). Mathematical software. River Edge, NJ : World Scientific, ©2002 9812380485 9789812380487 (DLC) 2005297681 (OCoLC)51036292 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210673 Volltext |
| spellingShingle | Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / The experimental mathematician: a computational guide to the mathematical unknown / J.M. Borwein -- Computer algebra and finite groups / G.-M. Greuel and G. Pfister -- Software integration and computer proofs / M. Joswig -- Software carry-save for fast multiple-precision algorithms / D. Defour and F. De Dinechin -- LinBox: a generic library for exact linear algebra / J.-G. Dumas [and others] -- Block-iterative algorithms for image reconstruction / M. Jiang and G. Wang -- The snap package for arithmetic with numeric polynomials / C.-P. Jeannerod and G. Labahn -- Algorithms of composite rational interpolation based on continued fractions / J.Q. Tan and S. Tang -- Fast and space-efficient algorithms for deciding shellability of simplicial complexes of large size using h-assignments / S. Moriyama, A. Nagai and H. Imai -- Computing GCLF using syzygy algorithm / M. Wang and C.P. Kwong -- Efficient cooperative solvers for nonlinear continuous constraint problems / Y. Shang, M.P.J. Fromherz and L.S. Crawford -- Pseudo-divison machine (I): a model of symbolic computation / Z.K. She, B.C. Xia and Z.M. Zheng -- XSSR: an experimental system for string rewriting -- decision problems, algorithms, and implementation / D. Hofbauer [and others] -- The differential structure of the Brieskorn lattice / M. Schulze -- An efficient modular algorithm for computing the global b-function / M. Noro -- A method for constructing holonomic systems for algebraic local cohomology classes with support on a zero dimensional variety / Y. Nakamura and S. Tajima -- D-modules for Macaulay 2 / A. Leykin -- Computer graphics in mathematical research; from Helsinki 1978 to Beijing 2002 / T.F. Banchoff -- Generating optimal curves via the C++ standard library / A. Linnér -- A mathematical webservice for recognizing the unknot / M.V. Andreeva, I.A. Dynnikov and K. Polthier -- Making the move: the next version of Cinderella / U. Kortenkamp and J. Richter-Gebert -- Prime decomposition of polynomial ideals over finite fields / K. Yokoyama -- Partial standard bases for families / A. Frühbis-Krüger -- An environment for symbolic and numeric computation / G. Dos Reis [and others] -- Computing elliptic curves using KASH / M. Kida -- Computing the endomorphism type of ordinary elliptic curves over finite fields with KANT/V4 / M. Henningsen -- On a distribution of the group of rational points of reductions of an elliptic curve / R. Takeuchi -- Algorithmic constructions of elliptic curves with complex multiplication / A. Enge -- Parallel implementation of polyhedral continuation methods for systems of polynomial equations / M. Kojima [and others] -- CMPSm: a continuation method for polynomial systems (MATLAB version) / S. Kim and M. Kojima -- Generating functions that count t-designs with given automorphism group: algorithms and structure / J.A. De Loera -- On the computation of Hilbert bases of cones / R. Hemmecke -- ENCAPSULATE! / D. Zeilberger. Computer algebra library for the construction of the minimal telescopers / S.A. Abramov, K.O. Geddes and H.Q. Le -- TOPCOM: triangulations of point configurations and oriented matroids / J. Rambau -- Parallel backtrack computing of association schemes using classroom PC's / I. Miyamoto -- On canonical representations of convex polyhedra / D. Avis, K. Fukuda and S. Picozzi -- Decomposing polynomial systems into strong regular sets / Y.-B. Li, J.-Z. Zhang and L. Yang -- Wu Wen-Tsün formulae for the blending of quadratic surfaces / N. Lei, T.-R. Wu and G.-C. Feng -- Epsilon: a library of software tools for polynomial elimination / D.M. Wang -- Minimal sets of critical pairs / M. Caboara, M. Kreuzer and L. Robbiano -- A study in the integration of computer algebra systems: memory management in a Maple-Aldor environment / S.M. Watt -- Local and remote user interface for ELIMINO through OMEI / Y.W. Wu [and others] -- Programming the IBM MathML expression editor for interactive mathematical applications / S.S. Dooley -- From mathematical servers to mathematical services / M. Dewar and D. Carlisle -- Towards a mathematical services description language / O. Caprotti and W. Schreiner -- An algorithm to compute the minimal telescopers for rational functions (differential-integral case) / K.O. Geddes and H.Q. Le -- An automated algebraic method for finding exact solutions to nonlinear evolution equations / Z.-B. Li, Y.-P. Liu and R.-X. Yao -- Parametric analysis of systems of algebraic inequalities / A.V. Banshchikov -- [symbol] -- an Aldor library for linear differential and difference equations (abstract) / M. Bronstein -- ALLTYPES: an algebraic language and TYPE system / F. Schwarz -- Secure internet accessible mathematical computation framework / D.D. Lin, Z.M. Song and P.S. Wang -- Solution space smoothing for VLSI module placement: a computational study / S.Q. Dong [and others] -- SIMATH -- recent developments in TMU / T. Matsui [and others] -- Structures of polynomial types in problems of the invariant analysis and synthesis of differential equations / A.V. Flegonov. Mathematics Data processing Congresses. Computer software Congresses. Mathématiques Informatique Congrès. Logiciels Congrès. MATHEMATICS Discrete Mathematics. bisacsh Computer software fast Mathematics Data processing fast |
| title | Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / |
| title_alt | ICMS 2002 Proceedings of the first International Congress of Mathematical Software |
| title_auth | Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / |
| title_exact_search | Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / |
| title_full | Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / editors, Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama. |
| title_fullStr | Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / editors, Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama. |
| title_full_unstemmed | Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / editors, Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama. |
| title_short | Mathematical software : |
| title_sort | mathematical software proceedings of the first international congress of mathematical software beijing china 17 19 august 2002 |
| title_sub | proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 / |
| topic | Mathematics Data processing Congresses. Computer software Congresses. Mathématiques Informatique Congrès. Logiciels Congrès. MATHEMATICS Discrete Mathematics. bisacsh Computer software fast Mathematics Data processing fast |
| topic_facet | Mathematics Data processing Congresses. Computer software Congresses. Mathématiques Informatique Congrès. Logiciels Congrès. MATHEMATICS Discrete Mathematics. Computer software Mathematics Data processing Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210673 |
| work_keys_str_mv | AT internationalcongressofmathematicalsoftwarebeijingchina mathematicalsoftwareproceedingsofthefirstinternationalcongressofmathematicalsoftwarebeijingchina1719august2002 AT cohenarjehm mathematicalsoftwareproceedingsofthefirstinternationalcongressofmathematicalsoftwarebeijingchina1719august2002 AT gaoxiaoshan mathematicalsoftwareproceedingsofthefirstinternationalcongressofmathematicalsoftwarebeijingchina1719august2002 AT takayamanobuki mathematicalsoftwareproceedingsofthefirstinternationalcongressofmathematicalsoftwarebeijingchina1719august2002 AT internationalcongressofmathematicalsoftwarebeijingchina icms2002 AT cohenarjehm icms2002 AT gaoxiaoshan icms2002 AT takayamanobuki icms2002 AT internationalcongressofmathematicalsoftwarebeijingchina proceedingsofthefirstinternationalcongressofmathematicalsoftware AT cohenarjehm proceedingsofthefirstinternationalcongressofmathematicalsoftware AT gaoxiaoshan proceedingsofthefirstinternationalcongressofmathematicalsoftware AT takayamanobuki proceedingsofthefirstinternationalcongressofmathematicalsoftware |