Comparison Maps for Relatively Free Resolutions
A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schr6dinger Equation
Reducing Computational Costs in the Basic Perturbation Lemma
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RELVIEW
Intervals, Syzygies, Numerical GrSbner 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 Gr5bner 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
……
Author Index
鄂公网安备 42010302001612号 