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 |
Tabla de Contenidos:
- 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.