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

by Kapur, Deepak

• ISBN13: 9783540878261
• ISBN10: 3540878262
• Format: Paperback
• Copyright: 2008-11-03
• Publisher: Springer-Verlag New York Inc

Summary

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

Algorithms and Implementations
Computing the Minkowski Value of the Exponential Function over a Complex Disk	p. 1
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact	p. 22
The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval	p. 32
Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping	p. 42
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?	p. 57
Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis	p. 72
Computing the Greatest Common Divisor of Polynomials Using the Comrade Matrix	p. 87
Efficient Algorithms for Computing Noether Normalization	p. 97
Stability of GPBiCG_AR Method Based on Minimization of Associate Residual	p. 108
Evaluation of a Java Computer Algebra System	p. 121
A New Property of Hamming Graphs and Mesh of d-ary Trees	p. 139
Numerical Methods and Applications
An Interpolation Method That Minimizes an Energy Integral of Fractional Order	p. 151
Solving Biomechanical Model Using Third-Order Runge-Kutta Methods	p. 163
An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems	p. 169
Laplace Equation Inside a Cylinder: Computational Analysis and Asymptotic Behavior of the Solution	p. 179
A Method and Its Implementation for Constructing Backlund Transformations to Nonlinear Evolution Equations	p. 188
On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators	p. 199
Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media	p. 213
Local Similarity Solutions for Laminar Boundary Layer Flow along a Moving Cylinder in a Parallel Stream	p. 224
Elimination: Triangular Forms, Resultants, Equation Solving
An Algorithm for Transforming Regular Chain into Normal Chain	p. 236
A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals	p. 246
Regular Decompositions	p. 263
Floating-Point Grobner Basis Computation with Ill-conditionedness Estimation	p. 278
The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports	p. 293
Properties of Ascending Chains for Partial Difference Polynomial Systems	p. 307
Cryptology
Some Mathematical Problems in Cryptanalysis	p. 322
A Reduction Attack on Algebraic Surface Public-Key Cryptosystems	p. 323
Computational Logic
The Four Colour Theorem: Engineering of a Formal Proof	p. 333
On the Computation of Elimination Ideals of Boolean Polynomial Rings	p. 334
Computer Search for Large Sets of Idempotent Quasigroups	p. 349
Author Index	p. 359
Table of Contents provided by Ingram. All Rights Reserved.