Record:   Prev Next
Author CASC (Workshop : 2001- ) (20th : 2018 : Lille, France)
Title Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Imprint Cham : Springer International Publishing : Imprint: Springer, 2018
book jacket
Descript 1 online resource (xiii, 379 pages) : illustrations, digital ; 24 cm
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Series Lecture notes in computer science, 0302-9743 ; 11077
Theoretical computer science and general issues
Lecture notes in computer science ; 11077
Theoretical computer science and general issues
Note Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk) -- On Unimodular Matrices of Difference Operators -- Sparse Polynomial Arithmetic with the BPAS Library -- Computation of Pommaret Bases Using Syzygies -- A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations -- Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling -- A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities -- From Exponential Analysis to Pade Approximation and Tensor Decomposition, in One and More Dimensions -- Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for SU(3) Group -- About Some Drinfel'd Associators -- On a Polytime Factorization Algorithm for Multilinear Polynomials over F2 -- Tropical Newton-Puiseux Polynomials -- Orthogonal Tropical Linear Prevarieties -- Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements -- Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System -- Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets -- Positive Solutions of Systems of Signed Parametric Polynomial Inequalities -- Qualitative Analysis of a Dynamical System with Irrational First Integrals -- Effective Localization Using Double Ideal Quotient and Its Implementation -- A Purely Functional Computer Algebra System Embedded in Haskell -- Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods -- Factoring Multivariate Polynomials with Many Factors and Huge Coefficients -- Beyond the First Class of Analytic Complexity -- A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence -- A Blackbox Polynomial System Solver on Parallel Shared Memory Computers
Chapter "Positive Solutions of Systems of Signed Parametric Polynomial Inequalities" is available open access under a Creative Commons Attribution 4.0 International License via
Host Item Springer eBooks
Subject Computer science -- Congresses
Computers, Special purpose -- Congresses
Software engineering -- Congresses
Algorithms -- Congresses
Computer logic -- Congresses
Computer science -- Mathematics -- Congresses
Management information systems -- Congresses
Algorithm Analysis and Problem Complexity
Mathematics of Computing
Special Purpose and Application-Based Systems
Computer System Implementation
Logic Design
Logics and Meanings of Programs
Alt Author Gerdt, Vladimir P., editor
Koepf, Wolfram, editor
Seiler, Werner M., editor
Vorozhtsov, Evgenii V., editor
SpringerLink (Online service)
Alt Title CASC 2018
Record:   Prev Next