↓ Skip to main content

Computer Algebra in Scientific Computing

Overview of attention for book
Cover of 'Computer Algebra in Scientific Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On the Differential and Full Algebraic Complexities of Operator Matrices Transformations
  3. Altmetric Badge
    Chapter 2 Resolving Decompositions for Polynomial Modules
  4. Altmetric Badge
    Chapter 3 Setup of Order Conditions for Splitting Methods
  5. Altmetric Badge
    Chapter 4 Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators
  6. Altmetric Badge
    Chapter 5 Improved Computation of Involutive Bases
  7. Altmetric Badge
    Chapter 6 Computing All Space Curve Solutions of Polynomial Systems by Polyhedral Methods
  8. Altmetric Badge
    Chapter 7 Algorithmic Computation of Polynomial Amoebas
  9. Altmetric Badge
    Chapter 8 Sparse Gaussian Elimination Modulo p: An Update
  10. Altmetric Badge
    Chapter 9 MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
  11. Altmetric Badge
    Chapter 10 Incompleteness, Undecidability and Automated Proofs
  12. Altmetric Badge
    Chapter 11 A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications
  13. Altmetric Badge
    Chapter 12 The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree
  14. Altmetric Badge
    Chapter 13 Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms
  15. Altmetric Badge
    Chapter 14 Symbolic-Numeric Algorithms for Solving BVPs for a System of ODEs of the Second Order: Multichannel Scattering and Eigenvalue Problems
  16. Altmetric Badge
    Chapter 15 Symbolic Algorithm for Generating Irreducible Rotational-Vibrational Bases of Point Groups
  17. Altmetric Badge
    Chapter 16 A Symbolic Investigation of the Influence of Aerodynamic Forces on Satellite Equilibria
  18. Altmetric Badge
    Chapter 17 Computer Algebra in High-Energy Physics (Invited Talk)
  19. Altmetric Badge
    Chapter 18 A Note on Dynamic Gröbner Bases Computation
  20. Altmetric Badge
    Chapter 19 Qualitative Analysis of the Reyman – Semenov–Tian–Shansky Integrable Case of the Generalized Kowalewski Top
  21. Altmetric Badge
    Chapter 20 On Multiple Eigenvalues of a Matrix Dependent on a Parameter
  22. Altmetric Badge
    Chapter 21 A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
  23. Altmetric Badge
    Chapter 22 Computing Characteristic Polynomials of Matrices of Structured Polynomials
  24. Altmetric Badge
    Chapter 23 Computer Algebra in Scientific Computing
  25. Altmetric Badge
    Chapter 24 Computer Algebra in Scientific Computing
  26. Altmetric Badge
    Chapter 25 Using Sparse Interpolation in Hensel Lifting
  27. Altmetric Badge
    Chapter 26 A Survey of Satisfiability Modulo Theory
  28. Altmetric Badge
    Chapter 27 Quadric Arrangement in Classifying Rigid Motions of a 3D Digital Image
  29. Altmetric Badge
    Chapter 28 A Lower Bound for Computing Lagrange’s Real Root Bound
  30. Altmetric Badge
    Chapter 29 Enhancing the Extended Hensel Construction by Using Gröbner Bases
  31. Altmetric Badge
    Chapter 30 Symbolic-Numerical Optimization and Realization of the Method of Collocations and Least Residuals for Solving the Navier–Stokes Equations
  32. Altmetric Badge
    Chapter 31 Pruning Algorithms for Pretropisms of Newton Polytopes
  33. Altmetric Badge
    Chapter 32 Computational Aspects of a Bound of Lagrange
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

news
3 news outlets
twitter
1 X user

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
24 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Computer Algebra in Scientific Computing
Published by
Springer International Publishing, January 2016
DOI 10.1007/978-3-319-45641-6
ISBNs
978-3-31-945640-9, 978-3-31-945641-6
Editors

Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 24 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 4%
Portugal 1 4%
Brazil 1 4%
Unknown 21 88%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 21%
Researcher 5 21%
Student > Master 4 17%
Lecturer 2 8%
Professor 2 8%
Other 6 25%
Readers by discipline Count As %
Computer Science 7 29%
Mathematics 6 25%
Engineering 5 21%
Physics and Astronomy 2 8%
Agricultural and Biological Sciences 1 4%
Other 3 13%