Skip to main content
SpringerLink
Log in
Book cover

Computer Algebra in Scientific Computing

19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Vladimir P. Gerdt

    1. 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. Universität Kassel, Kassel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Werner M. Seiler

    1. Universität Kassel, Kassel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Evgenii V. Vorozhtsov

    1. 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 10490)

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

Included in the following conference series:

Conference proceedings info: CASC 2017.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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 (28 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk)

    • S. A. Abramov
    Pages 1-15

  3. On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer

    • Andrei V. Banshchikov
    Pages 16-26

  4. Sparse Interpolation, the FFT Algorithm and FIR Filters

    • Matteo Briani, Annie Cuyt, Wen-shin Lee
    Pages 27-39

  5. On New Integrals of the Algaba-Gamero-Garcia System

    • Alexander D. Bruno, Victor F. Edneral, Valery G. Romanovski
    Pages 40-50

  6. Full Rank Representation of Real Algebraic Sets and Applications

    • Changbo Chen, Wenyuan Wu, Yong Feng
    Pages 51-65

  7. Certifying Simple Zeros of Over-Determined Polynomial Systems

    • Jin-San Cheng, Xiaojie Dou
    Pages 66-76

  8. Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets

    • Rina Dong, Chenqi Mou
    Pages 77-92

  9. Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks

    • Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
    Pages 93-108Open Access

  10. The Polymake Interface in Singular and Its Applications

    • Raul Epure, Yue Ren, Hans Schönemann
    Pages 109-117

  11. Computation of Some Integer Sequences in Maple

    • W. L. Fan, D. J. Jeffrey, Erik Postma
    Pages 118-133

  12. Symbolic-Numerical Algorithm for Generating Interpolation Multivariate Hermite Polynomials of High-Accuracy Finite Element Method

    • A. A. Gusev, V. P. Gerdt, O. Chuluunbaatar, G. Chuluunbaatar, S. I. Vinitsky, V. L. Derbov et al.
    Pages 134-150

  13. Symbolic-Numerical Algorithms for Solving the Parametric Self-adjoint 2D Elliptic Boundary-Value Problem Using High-Accuracy Finite Element Method

    • A. A. Gusev, V. P. Gerdt, O. Chuluunbaatar, G. Chuluunbaatar, S. I. Vinitsky, V. L. Derbov et al.
    Pages 151-166

  14. A Symbolic Study of the Satellite Dynamics Subject to Damping Torques

    • Sergey A. Gutnik, Vasily A. Sarychev
    Pages 167-182

  15. Characteristic Set Method for Laurent Differential Polynomial Systems

    • Youren Hu, Xiao-Shan Gao
    Pages 183-195

  16. Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients

    • Qiao-Long Huang, Xiao-Shan Gao
    Pages 196-209

  17. On Stationary Motions of the Generalized Kowalewski Gyrostat and Their Stability

    • Valentin Irtegov, Tatyana Titorenko
    Pages 210-224

  18. Computing the Integer Points of a Polyhedron, I: Algorithm

    • Rui-Juan Jing, Marc Moreno Maza
    Pages 225-241

  19. Computing the Integer Points of a Polyhedron, II: Complexity Estimates

    • Rui-Juan Jing, Marc Moreno Maza
    Pages 242-256

  20. Non-linearity and Non-convexity in Optimal Knots Selection for Sparse Reduced Data

    • Ryszard Kozera, Lyle Noakes
    Pages 257-271
Back to top

Other volumes

  1. Computer Algebra in Scientific Computing

Keywords

About this book

This book constitutes the proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, held in Beijing, China, in September 2017.

The 28 full papers presented in this volume were carefully reviewed and selected from 33 submissions. They deal with cutting-edge research in all major disciplines of Computer Algebra.

Editors and Affiliations

  • Joint Institute of Nuclear Research, Dubna, Russia

    Vladimir P. Gerdt

  • Universität Kassel, Kassel, Germany

    Wolfram Koepf, Werner M. Seiler

  • Russian Academy of Sciences, Novosibirsk, Russia

    Evgenii V. Vorozhtsov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation