|
" Computer mathematics : "
editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
Document Type
|
:
|
BL
|
Record Number
|
:
|
1038777
|
Doc. No
|
:
|
b793147
|
Main Entry
|
:
|
Asian Symposium on Computer Mathematics(5th :2001 :, Matsuyama-shi, Japan)
|
Title & Author
|
:
|
Computer mathematics : : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 /\ editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
|
Publication Statement
|
:
|
River Edge, N.J. :: World Scientific,, ©2001.
|
Series Statement
|
:
|
Lecture notes series on computing ;; v. 9
|
Page. NO
|
:
|
1 online resource (xi, 227 pages) :: illustrations
|
ISBN
|
:
|
9789812799661
|
|
:
|
: 9812799664
|
|
:
|
9789810247638
|
|
:
|
981024763X
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
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.
|
Abstract
|
:
|
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.
|
Subject
|
:
|
Computer science, Congresses.
|
Subject
|
:
|
Computer science-- Mathematics, Congresses.
|
Subject
|
:
|
Computer science-- Mathematics.
|
Subject
|
:
|
Computer science.
|
Subject
|
:
|
COMPUTERS-- Computer Literacy.
|
Subject
|
:
|
COMPUTERS-- Computer Science.
|
Subject
|
:
|
COMPUTERS-- Data Processing.
|
Subject
|
:
|
COMPUTERS-- Hardware-- General.
|
Subject
|
:
|
COMPUTERS-- Information Technology.
|
Subject
|
:
|
COMPUTERS-- Machine Theory.
|
Subject
|
:
|
COMPUTERS-- Reference.
|
Dewey Classification
|
:
|
004/.01/51
|
LC Classification
|
:
|
QA76.9.M35A83 2001eb
|
Added Entry
|
:
|
Shirayanagi, Kiyoshi.
|
|
:
|
Yokoyama, Kazuhiro.
|
| |