Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
River Edge, N.J. :
World Scientific,
©2001.
|
| Colección: | Lecture notes series on computing ;
v. 9. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn646768171 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.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 | ||
| 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 | ||
| 029 | 1 | |a AU@ |b 000049163086 | |
| 029 | 1 | |a AU@ |b 000051357138 | |
| 029 | 1 | |a DEBBG |b BV043151382 | |
| 029 | 1 | |a DEBSZ |b 42209840X | |
| 029 | 1 | |a NZ1 |b 13857904 | |
| 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 | 0 | 4 | |a 004/.01/51 |2 22 |
| 049 | |a UAMI | ||
| 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 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. | |
| 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. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235762 |z Texto completo |
| 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 IZTAP | ||