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

## Book Description

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

## Book Details

- Title: Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018
- Length: 379 pages
- Edition: 1st ed. 2018
- Language: English
- Publisher: Springer
- Publication Date: 2018-08-23
- ISBN-10: 331999638X
- ISBN-13: 9783319996387

## Book DownloadTry Audible and Get 2 Free Audiobooks »

Download Link | Format | Size (MB) | Upload Date |
---|---|---|---|

Direct download (Recommended!) | True PDF | 9.4 | 05/02/2019 |

Download from UsersCloud | True PDF | 9.4 | 09/04/2018 |

Download from UsersCloud | True PDF | 9.4 | 09/05/2018 |