Skip to main content
SpringerLink
Log in

Computer Algebra in Scientific Computing

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Vladimir P. Gerdt

    1. Laboratory of Information Technologies, Joint Institute of Nuclear Research, Dubna, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolfram Koepf

    1. Institut für Mathematik, Universität Kassel, Kassel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Werner M. Seiler

    1. Institut für Mathematik, Universität Kassel, Kassel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Evgenii V. Vorozhtsov

    1. Institute of Theoretical and Applied Mechanics, Russian Academy of Sciences, Novosibirsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CASC 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter 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-253Open Access

  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
Back to top

Other volumes

  1. Computer Algebra in Scientific Computing

Keywords

About this book

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.

Editors and Affiliations

  • Laboratory of Information Technologies, Joint Institute of Nuclear Research, Dubna, Russia

    Vladimir P. Gerdt

  • Institut für Mathematik, Universität Kassel, Kassel, Germany

    Wolfram Koepf, Werner M. Seiler

  • Institute of Theoretical and Applied Mechanics, Russian Academy of Sciences, Novosibirsk, Russia

    Evgenii V. Vorozhtsov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation