Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /: 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: CASC 2018
• Further Information: Note: Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.).
• Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946-
• Other Names: CASC (Workshop : 2001- ), 20th
• Contents: 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 Padé 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xiii, 379 pages), illustrations
• Subjects: 004.01/51; Computer science; Computer science -- Congresses; Computers, Special purpose -- Congresses; Software engineering -- Congresses; Algorithms -- Congresses; Computer logic -- Congresses; Computer science -- Mathematics -- Congresses; Management information systems -- Congresses; Computers -- Data Processing; Computers -- Expert Systems; Computers -- Information Technology; Computers -- Logic Design; Computers -- Programming -- General; Mathematical theory of computation; Expert systems / knowledge-based systems; Systems analysis & design; Computer architecture & logic design; Computer programming / software development; Computer software; Software engineering; Computer network architectures; Logic design; Computers -- Programming -- Algorithms; Algorithms & data structures; Electronic books
• Languages: English
• ISBNs: 9783319996394; 3319996398
• Related ISBNs: 9783319996387
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 7, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.