Advertisement

Computer Algebra in Scientific Computing

20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

  • Vladimir P. Gerdt
  • Wolfram Koepf
  • Werner M. Seiler
  • Evgenii V. Vorozhtsov
Conference proceedings CASC 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11077)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11077)

Table of contents

  1. Front Matter
    Pages I-XIII
    PDF
  2. Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk)
    Jean-Guillaume Dumas
    Pages 1-17
  3. On Unimodular Matrices of Difference Operators
    S. A. Abramov, D. E. Khmelnov
    Pages 18-31
  4. Sparse Polynomial Arithmetic with the BPAS Library
    Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza
    Pages 32-50
  5. Computation of Pommaret Bases Using Syzygies
    Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
    Pages 51-66
  6. A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations
    Yury A. Blinkov, Vladimir P. Gerdt, Dmitry A. Lyakhov, Dominik L. Michels
    Pages 67-81
  7. Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling
    François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, Adrien Poteaux et al.
    Pages 82-98
  8. A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities
    Changbo Chen, Wenyuan Wu
    Pages 99-115
  9. From Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More Dimensions
    Annie Cuyt, Ferre Knaepkens, Wen-shin Lee
    Pages 116-130
  10. Symbolic Algorithm for Generating the Orthonormal Bargmann–Moshinsky Basis for \(\mathrm {SU(3)}\) Group
    A. Deveikis, A. A. Gusev, V. P. Gerdt, S. I. Vinitsky, A. Góźdź, A. Pȩdrak
    Pages 131-145
  11. About Some Drinfel’d Associators
    G. H. E. Duchamp, V. Hoang Ngoc Minh, K. A. Penson
    Pages 146-163
  12. On a Polytime Factorization Algorithm for Multilinear Polynomials over \(\mathbb {F}_2\)
    Pavel Emelyanov, Denis Ponomaryov
    Pages 164-176
  13. Tropical Newton–Puiseux Polynomials
    Dima Grigoriev
    Pages 177-186
  14. Orthogonal Tropical Linear Prevarieties
    Dima Grigoriev, Nicolai Vorobjov
    Pages 187-196
  15. Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements
    A. A. Gusev, V. P. Gerdt, O. Chuluunbaatar, G. Chuluunbaatar, S. I. Vinitsky, V. L. Derbov et al.
    Pages 197-213
  16. Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System
    Sergey A. Gutnik, Vasily A. Sarychev
    Pages 214-229
  17. Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets
    M. I. Hartillo, J. M. Jiménez-Cobano, J. M. Ucha
    Pages 230-237
  18. Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
    Hoon Hong, Thomas Sturm
    Pages 238-253 Open Access
    PDF
  19. Qualitative Analysis of a Dynamical System with Irrational First Integrals
    Valentin Irtegov, Tatiana Titorenko
    Pages 254-271
  20. Effective Localization Using Double Ideal Quotient and Its Implementation
    Yuki Ishihara, Kazuhiro Yokoyama
    Pages 272-287
  21. A Purely Functional Computer Algebra System Embedded in Haskell
    Hiromi Ishii
    Pages 288-303
  22. Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods
    Vladimir V. Kornyak
    Pages 304-318
  23. Factoring Multivariate Polynomials with Many Factors and Huge Coefficients
    Michael Monagan, Baris Tuncer
    Pages 319-334
  24. Beyond the First Class of Analytic Complexity
    T. M. Sadykov
    Pages 335-344
  25. A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence
    Tateaki Sasaki
    Pages 345-360
  26. A Blackbox Polynomial System Solver on Parallel Shared Memory Computers
    Jan Verschelde
    Pages 361-375
  27. Back Matter
    Pages 377-379
    PDF

About these proceedings

Introduction

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.

Keywords

computability and decidability computer systems, digital differential equations decision procedure finite element method formal logic formal methods image processing linear matrix inequalities matrix algebra numerical integrations numerical methods parallel processing systems software engineering

Editors and affiliations

  1. 1.Laboratory of Information TechnologiesJoint Institute of Nuclear ResearchDubnaRussia
  2. 2.Institut für MathematikUniversität KasselKasselGermany
  3. 3.Institut für MathematikUniversität KasselKasselGermany
  4. 4.Institute of Theoretical and Applied MechanicsRussian Academy of SciencesNovosibirskRussia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-99639-4
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-99638-7
  • Online ISBN 978-3-319-99639-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site