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

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 -