Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018

Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings (Lecture Notes in Computer Science)

This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018.

The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in all major disciplines of computer algebra in sciences such as physics, chemistry, life sciences, and engineering.

Chapter “Positive Solutions of Systems of Signed Parametric Polynomial Inequalities” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Table of Contents

Chapter 1. Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk)
Chapter 2. On Unimodular Matrices of Difference Operators
Chapter 3. Sparse Polynomial Arithmetic with the BPAS Library
Chapter 4. Computation of Pommaret Bases Using Syzygies
Chapter 5. A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations
Chapter 6. Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling
Chapter 7. A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities
Chapter 8. From Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More Dimensions
Chapter 9. Symbolic Algorithm for Generating the Orthonormal Bargmann–Moshinsky Basis for SU(3) Group
Chapter 10. About Some Drinfel’d Associators
Chapter 11. On a Polytime Factorization Algorithm for Multilinear Polynomials over F2
Chapter 12. Tropical Newton–Puiseux Polynomials
Chapter 13. Orthogonal Tropical Linear Prevarieties
Chapter 14. Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements
Chapter 15. Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System
Chapter 16. Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets
Chapter 17. Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
Chapter 18. Qualitative Analysis of a Dynamical System with Irrational First Integrals
Chapter 19. Effective Localization Using Double Ideal Quotient and Its Implementation
Chapter 20. A Purely Functional Computer Algebra System Embedded in Haskell
Chapter 21. Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods
Chapter 22. Factoring Multivariate Polynomials with Many Factors and Huge Coefficients
Chapter 23. Beyond the First Class of Analytic Complexity
Chapter 24. A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence
Chapter 25. A Blackbox Polynomial System Solver on Parallel Shared Memory Computers
Chapter 26. Computing Limits with the RegularChains and PowerSeries Libraries: from Rational Functions to Topological Closures