| 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 | Symbolic-Numerical Analysis of the Relative Equilibria Stability in the Planar Circular Restricted Four-Body Problem. | Alexander N. Prokopenya |
| 2017 | Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences. | Vincent Neiger, Hamid Rahkooy, ric Schost |
| 2017 | Symbolic-Numeric Integration of the Dynamical Cosserat Equations. | Dmitry A. Lyakhov, Vladimir P. Gerdt, Andreas G. Weber, Dominik L. Michels |
| 2017 | The Convergence Conditions of Interval Newton's Method Based on Point Estimates. | Zhe Li, Baocheng Wan, Shugong Zhang |
| 2017 | Normalization of Indexed Differentials Based on Function Distance Invariants. | Jiang Liu |
| 2017 | Non-linearity and Non-convexity in Optimal Knots Selection for Sparse Reduced Data. | Ryszard Kozera, Lyle Noakes |
| 2017 | Computing the Integer Points of a Polyhedron, II: Complexity Estimates. | Rui-Juan Jing, Marc Moreno Maza |
| 2017 | Computing the Integer Points of a Polyhedron, I: Algorithm. | Rui-Juan Jing, Marc Moreno Maza |
| 2017 | On Stationary Motions of the Generalized Kowalewski Gyrostat and Their Stability. | Valentin Irtegov, Tatyana Titorenko |
| 2017 | Characteristic Set Method for Laurent Differential Polynomial Systems. | Youren Hu, Xiao-Shan Gao |
| 2017 | Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. | Qiao-Long Huang, Xiao-Shan Gao |
| 2017 | A Symbolic Study of the Satellite Dynamics Subject to Damping Torques. | Sergey A. Gutnik, Vasily A. Sarychev |
| 2017 | Symbolic-Numerical Algorithms for Solving the Parametric Self-adjoint 2D Elliptic Boundary-Value Problem Using High-Accuracy Finite Element Method. | Alexander A. Gusev, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar, G. Chuluunbaatar, Sergey I. Vinitsky, Vladimir L. Derbov, Andrzej Gzdz |
| 2017 | Symbolic-Numerical Algorithm for Generating Interpolation Multivariate Hermite Polynomials of High-Accuracy Finite Element Method. | Alexander A. Gusev, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar, G. Chuluunbaatar, Sergey I. Vinitsky, Vladimir L. Derbov, Andrzej Gzdz |
| 2017 | Computation of Some Integer Sequences in Maple. | W. L. Fan, D. J. Jeffrey, Erik Postma |
| 2017 | The Polymake Interface in Singular and Its Applications. | Raul Epure, Yue Ren, Hans Schnemann |
| 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 | Decomposing Polynomial Sets Simultaneously into Grbner 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 | Certifying Simple Zeros of Over-Determined Polynomial Systems. | Jin-San Cheng, Xiaojie Dou |
| 2017 | On New Integrals of the Algaba-Gamero-Garcia System. | Alexander D. Bruno, Victor F. Edneral, Valery G. Romanovski |
| 2017 | Sparse Interpolation, the FFT Algorithm and FIR Filters. | Matteo Briani, Annie A. M. Cuyt, Wen-shin Lee |
| 2017 | On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer. | Andrei V. Banshchikov |
| 2017 | Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk). | Sergei A. Abramov |