Computer Algebra in Scientific Computing

Comparison Maps for Relatively Free Resolutions.- A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation.- Reducing Computational Costs in the Basic Perturbation Lemma.- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView.- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study.- Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem.- Efficient Preprocessing Methods for Quantifier Elimination.- Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals.- On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions.- Providing Modern Software Environments to Computer Algebra Systems.- The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem.- Algorithmic Invariants for Alexander Modules.- Sudokus and Gröbner Bases: Not Only a Divertimento.- Simplicial Perturbation Techniques and Effective Homology.- Numerical Study of Stability Domains of Hamiltonian Equation Solutions.- Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem.- A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field.- On Decomposition of Tame Polynomials and Rational Functions.- Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases.- Cellular Automata with Symmetric Local Rules.- Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations.- On Connection Between Constructive Involutive Divisions and Monomial Orderings.- A Symbolic-Numeric Approach to Tube Modeling in CAD Systems.- Inequalities on Upper Bounds for Real Polynomial Roots.- New Domains for Applied Quantifier Elimination.- Algorithms for Symbolic Polynomials.- Testing Mersenne Primes with Elliptic Curves.