Computer Mathematics

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