Computer Algebra in Scientific Computing

1. Front Matter

   Pages I-XIII

   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

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.

• asymptotic stability
• boundary conditions
• classification
• differential equations
• equations of motion
• finite element
• finite element method
• geometry
• iterative methods
• linear matrix inequalities
• manipulators
• matrix algebra
• numerical methods
• ordinary differential equations
• partial differential equations
• project management
• robotics
• software engineering
• structural design
• terminology

• 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

Policies and ethics