| 2018 | Factoring Multivariate Polynomials with Many Factors and Huge Coefficients. | Michael B. Monagan, Baris Tuncer |
| 2018 | Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods. | Vladimir V. Kornyak |
| 2018 | A Purely Functional Computer Algebra System Embedded in Haskell. | Hiromi Ishii |
| 2018 | Effective Localization Using Double Ideal Quotient and Its Implementation. | Yuki Ishihara, Kazuhiro Yokoyama |
| 2018 | Qualitative Analysis of a Dynamical System with Irrational First Integrals. | Valentin Irtegov, Tatiana Titorenko |
| 2018 | Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. | Hoon Hong, Thomas Sturm |
| 2018 | Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets. | Mara Isabel Hartillo-Hermoso, Jos Manuel Jimnez Cobano, Jos Mara Ucha-Enrquez |
| 2018 | Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System. | Sergey A. Gutnik, Vasily A. Sarychev |
| 2018 | Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements. | Alexander A. Gusev, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar, G. Chuluunbaatar, Sergey I. Vinitsky, Vladimir L. Derbov, Andrzej Gzdz, Pavel Krassovitskiy |
| 2018 | Orthogonal Tropical Linear Prevarieties. | Dima Grigoriev, Nicolai N. Vorobjov Jr. |
| 2018 | Tropical Newton-Puiseux Polynomials. | Dima Grigoriev |
| 2018 | On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2. | Pavel G. Emelyanov, Denis K. Ponomaryov |
| 2018 | Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk). | Jean-Guillaume Dumas |
| 2018 | About Some Drinfel'd Associators. | Grard H. E. Duchamp, Vincel Hoang Ngoc Minh, Karol A. Penson |
| 2018 | Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for \mathrm SU(3) Group. | Algirdas Deveikis, Alexander A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky, Andrzej Gzdz, Aleksandra Pedrak |
| 2018 | From Exponential Analysis to Pad Approximation and Tensor Decomposition, in One and More Dimensions. | Annie A. M. Cuyt, Ferre Knaepkens, Wen-shin Lee |
| 2018 | A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities. | Changbo Chen, Wenyuan Wu |
| 2018 | Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. | Franois Boulier, Hlne Castel, Nathalie Corson, Valentina Lanza, Franois Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdire |
| 2018 | 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 |
| 2018 | Computation of Pommaret Bases Using Syzygies. | Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler |
| 2018 | Sparse Polynomial Arithmetic with the BPAS Library. | Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza |
| 2018 | On Unimodular Matrices of Difference Operators. | Sergei A. Abramov, Denis E. Khmelnov |
| 2017 | Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk). | Lihong Zhi |
| 2017 | Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. | Wenyuan Wu, Changbo Chen, Greg Reid |
| 2017 | A Special Homotopy Continuation Method for a Class of Polynomial Systems. | Yu Wang, Wenyuan Wu, Bican Xia |