Computer Algebra in Scientific Computing

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients
3. Altmetric Badge
   Chapter 2 Janet Bases and Resolutions in CoCoALib
4. Altmetric Badge
   Chapter 3 Regular Chains under Linear Changes of Coordinates and Applications
5. Altmetric Badge
   Chapter 4 A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve
6. Altmetric Badge
   Chapter 5 Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Means of Symbolic-Numerical Modelling
7. Altmetric Badge
   Chapter 6 A New Approach for Computing Regular Solutions of Linear Difference Systems
8. Altmetric Badge
   Chapter 7 Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation
9. Altmetric Badge
   Chapter 8 Finding First Integrals Using Normal Forms Modulo Differential Regular Chains
10. Altmetric Badge
    Chapter 9 Simplification of Cylindrical Algebraic Formulas
11. Altmetric Badge
    Chapter 10 Quasi-Steady State – Intuition, Perturbation Theory and Algorithmic Algebra
12. Altmetric Badge
    Chapter 11 Polynomial Complexity Recognizing a Tropical Linear Variety
13. Altmetric Badge
    Chapter 12 Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations
14. Altmetric Badge
    Chapter 13 Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group
15. Altmetric Badge
    Chapter 14 Symbolic-Numeric Solution of Boundary-Value Problems for the Schrödinger Equation Using the Finite Element Method: Scattering Problem and Resonance States
16. Altmetric Badge
    Chapter 15 Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of Satellite
17. Altmetric Badge
    Chapter 16 Bounds for the Condition Number of Polynomials Systems with Integer Coefficients
18. Altmetric Badge
    Chapter 17 On Invariant Manifolds and Their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force Fields
19. Altmetric Badge
    Chapter 18 Homotopy Analysis Method for Stochastic Differential Equations with Maxima
20. Altmetric Badge
    Chapter 19 On the Topology and Visualization of Plane Algebraic Curves
21. Altmetric Badge
    Chapter 20 Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data
22. Altmetric Badge
    Chapter 21 Parametric Solvable Polynomial Rings and Applications
23. Altmetric Badge
    Chapter 22 Triangular Decomposition of Matrices in a Domain
24. Altmetric Badge
    Chapter 23 Automated Reasoning in Reduction Rings Using the Theorema System
25. Altmetric Badge
    Chapter 24 On the Partial Analytical Solution of the Kirchhoff Equation
26. Altmetric Badge
    Chapter 25 Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases
27. Altmetric Badge
    Chapter 26 Polynomial Real Root Isolation by Means of Root Radii Approximation
28. Altmetric Badge
    Chapter 27 Randomized Circulant and Gaussian Pre-processing
29. Altmetric Badge
    Chapter 28 Symbolic Computation and Finite Element Methods
30. Altmetric Badge
    Chapter 29 Approximate Quantum Fourier Transform and Quantum Algorithm for Phase Estimation
31. Altmetric Badge
    Chapter 30 Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates
32. Altmetric Badge
    Chapter 31 Analysis of Reaction Network Systems Using Tropical Geometry
33. Altmetric Badge
    Chapter 32 Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions
34. Altmetric Badge
    Chapter 33 A New Polynomial Bound and Its Efficiency
35. Altmetric Badge
    Chapter 34 Distance Evaluation Between an Ellipse and an Ellipsoid
36. Altmetric Badge
    Chapter 35 Algebraic General Solutions of First Order Algebraic ODEs