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. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.