Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

Hyeong In Choi, Rida T. Farouki, Chang Yong Han, Hwan Pyo Moon (auth.), Deepak Kapur (eds.)3540878262, 9783540878261

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.

Table of contents :
Front Matter….Pages –
Computing the Minkowski Value of the Exponential Function over a Complex Disk….Pages 1-21
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact….Pages 22-31
The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval….Pages 32-41
Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping….Pages 42-56
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?….Pages 57-71
Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis….Pages 72-86
Computing the Greatest Common Divisor of Polynomials Using the Comrade Matrix….Pages 87-96
Efficient Algorithms for Computing Nœther Normalization….Pages 97-107
Stability of GPBiCG_AR Method Based on Minimization of Associate Residual….Pages 108-120
Evaluation of a Java Computer Algebra System….Pages 121-138
A New Property of Hamming Graphs and Mesh of d -ary Trees….Pages 139-150
An Interpolation Method That Minimizes an Energy Integral of Fractional Order….Pages 151-162
Solving Biomechanical Model Using Third-Order Runge-Kutta Methods….Pages 163-168
An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems….Pages 169-178
Laplace Equation Inside a Cylinder: Computational Analysis and Asymptotic Behavior of the Solution….Pages 179-187
A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations….Pages 188-198
On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators….Pages 199-212
Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media….Pages 213-223
Local Similarity Solutions for Laminar Boundary Layer Flow along a Moving Cylinder in a Parallel Stream….Pages 224-235
An Algorithm for Transforming Regular Chain into Normal Chain….Pages 236-245
A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals….Pages 246-262
Regular Decompositions….Pages 263-277
Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation….Pages 278-292
The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports….Pages 293-306
Properties of Ascending Chains for Partial Difference Polynomial Systems….Pages 307-321
Some Mathematical Problems in Cryptanalysis….Pages 322-322
A Reduction Attack on Algebraic Surface Public-Key Cryptosystems….Pages 323-332
The Four Colour Theorem: Engineering of a Formal Proof….Pages 333-333
On the Computation of Elimination Ideals of Boolean Polynomial Rings….Pages 334-348
Computer Search for Large Sets of Idempotent Quasigroups….Pages 349-358
Back Matter….Pages –