Computer Mathematics

1. Front Matter

   PDF

2. Algorithms and Implementations

   1. Computing the Minkowski Value of the Exponential Function over a Complex Disk

      • Hyeong In Choi, Rida T. Farouki, Chang Yong Han, Hwan Pyo Moon

      Pages 1-21

   2. Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact

      • S. Liang, D. J. Jeffrey

      Pages 22-31

   3. The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval

      • Hiroshi Sekigawa

      Pages 32-41

   4. Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping

      • Mohab Safey El Din

      Pages 42-56

   5. Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?

      • Liangyu Chen, Zhenbing Zeng

      Pages 57-71

   6. Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis

      • Manfred Minimair

      Pages 72-86

   7. Computing the Greatest Common Divisor of Polynomials Using the Comrade Matrix

      • Nor’aini Aris, Shamsatun Nahar Ahmad

      Pages 87-96

   8. Efficient Algorithms for Computing Nœther Normalization

      • Amir Hashemi

      Pages 97-107

   9. Stability of GPBiCG_AR Method Based on Minimization of Associate Residual

      • Moe Thuthu, Seiji Fujino

      Pages 108-120

   10. Evaluation of a Java Computer Algebra System

       • Heinz Kredel

       Pages 121-138

   11. A New Property of Hamming Graphs and Mesh of d-ary Trees

       • Alain Bretto, Cerasela Jaulin, Luc Gillibert, Bernard Laget

       Pages 139-150

3. Numerical Methods and Applications

   1. An Interpolation Method That Minimizes an Energy Integral of Fractional Order

      • H. Gunawan, F. Pranolo, E. Rusyaman

      Pages 151-162

   2. Solving Biomechanical Model Using Third-Order Runge-Kutta Methods

      • R. R. Ahmad, A. S. Rambely, L. H. Lim

      Pages 163-168

   3. An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems

      • Basem S. Attili

      Pages 169-178

   4. Laplace Equation Inside a Cylinder: Computational Analysis and Asymptotic Behavior of the Solution

      • Suvra Sarkar, Sougata Patra

      Pages 179-187

   5. A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations

      • Zhibin Li, Yinping Liu, Haifeng Qian

      Pages 188-198

   6. On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators

      • Ekaterina Shemyakova, Franz Winkler

      Pages 199-212

   7. Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media

      • Seripah Awang Kechil, Ishak Hashim

      Pages 213-223

   8. Local Similarity Solutions for Laminar Boundary Layer Flow along a Moving Cylinder in a Parallel Stream

      • Anuar Ishak, Roslinda Nazar, Ioan Pop

      Pages 224-235

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two rounds of reviewing and improvement from 65 submissions. The papers are organized in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.

• algebraic-numeric computation
• algorithms
• associate residual
• automated reasoning
• biomechanics problem
• characteristic set
• computational geometry
• computer algebra
• difference substitution
• formal mathematics
• groebner basis
• instability
• logic
• symmetric polynomials

Policies and ethics