| 2017 | A Special Homotopy Continuation Method for a Class of Polynomial Systems. Yu Wang, Wenyuan Wu, Bican Xia |
| 2017 | A Symbolic Study of the Satellite Dynamics Subject to Damping Torques. Sergey A. Gutnik, Vasily A. Sarychev |
| 2017 | Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences. Vincent Neiger, Hamid Rahkooy, Éric Schost |
| 2017 | Certifying Simple Zeros of Over-Determined Polynomial Systems. Jin-San Cheng, Xiaojie Dou |
| 2017 | Characteristic Set Method for Laurent Differential Polynomial Systems. Youren Hu, Xiao-Shan Gao |
| 2017 | Computation of Some Integer Sequences in Maple. W. L. Fan, D. J. Jeffrey, Erik Postma |
| 2017 | Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov |
| 2017 | Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk). Lihong Zhi |
| 2017 | Computing the Integer Points of a Polyhedron, I: Algorithm. Rui-Juan Jing, Marc Moreno Maza |
| 2017 | Computing the Integer Points of a Polyhedron, II: Complexity Estimates. Rui-Juan Jing, Marc Moreno Maza |
| 2017 | Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets. Rina Dong, Chenqi Mou |
| 2017 | Full Rank Representation of Real Algebraic Sets and Applications. Changbo Chen, Wenyuan Wu, Yong Feng |
| 2017 | Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk). Sergei A. Abramov |
| 2017 | Non-linearity and Non-convexity in Optimal Knots Selection for Sparse Reduced Data. Ryszard Kozera, Lyle Noakes |
| 2017 | Normalization of Indexed Differentials Based on Function Distance Invariants. Jiang Liu |
| 2017 | On New Integrals of the Algaba-Gamero-Garcia System. Alexander D. Bruno, Victor F. Edneral, Valery G. Romanovski |
| 2017 | On Stationary Motions of the Generalized Kowalewski Gyrostat and Their Stability. Valentin Irtegov, Tatyana Titorenko |
| 2017 | On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer. Andrei V. Banshchikov |
| 2017 | Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. Wenyuan Wu, Changbo Chen, Greg Reid |
| 2017 | Sparse Interpolation, the FFT Algorithm and FIR Filters. Matteo Briani, Annie A. M. Cuyt, Wen-shin Lee |
| 2017 | Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. Qiao-Long Huang, Xiao-Shan Gao |
| 2017 | 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 |
| 2017 | Symbolic-Numeric Integration of the Dynamical Cosserat Equations. Dmitry A. Lyakhov, Vladimir P. Gerdt, Andreas G. Weber, Dominik L. Michels |
| 2017 | Symbolic-Numerical Algorithm for Generating Interpolation Multivariate Hermite Polynomials of High-Accuracy Finite Element Method. A. A. Gusev, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar, G. Chuluunbaatar, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz |
| 2017 | Symbolic-Numerical Algorithms for Solving the Parametric Self-adjoint 2D Elliptic Boundary-Value Problem Using High-Accuracy Finite Element Method. A. A. Gusev, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar, G. Chuluunbaatar, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz |
| 2017 | Symbolic-Numerical Analysis of the Relative Equilibria Stability in the Planar Circular Restricted Four-Body Problem. Alexander N. Prokopenya |
| 2017 | The Convergence Conditions of Interval Newton's Method Based on Point Estimates. Zhe Li, Baocheng Wan, Shugong Zhang |
| 2017 | The Method of Collocations and Least Residuals Combining the Integral Form of Collocation Equations and the Matching Differential Relations at the Solution of PDEs. Vasily P. Shapeev, Evgenii V. Vorozhtsov |
| 2017 | The Polymake Interface in Singular and Its Applications. Raul Epure, Yue Ren, Hans Schönemann |