Computer Algebra in Scientific Computing

Table of Contents

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