| 2018 | A Blackbox Polynomial System Solver on Parallel Shared Memory Computers. Jan Verschelde |
| 2018 | A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities. Changbo Chen, Wenyuan Wu |
| 2018 | A Purely Functional Computer Algebra System Embedded in Haskell. Hiromi Ishii |
| 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 | A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence. Tateaki Sasaki |
| 2018 | About Some Drinfel'd Associators. Gérard H. E. Duchamp, Vincel Hoang Ngoc Minh, Karol A. Penson |
| 2018 | Beyond the First Class of Analytic Complexity. Timur M. Sadykov |
| 2018 | Computation of Pommaret Bases Using Syzygies. Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler |
| 2018 | Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov |
| 2018 | Effective Localization Using Double Ideal Quotient and Its Implementation. Yuki Ishihara, Kazuhiro Yokoyama |
| 2018 | Factoring Multivariate Polynomials with Many Factors and Huge Coefficients. Michael B. Monagan, Baris Tuncer |
| 2018 | Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets. María Isabel Hartillo-Hermoso, José Manuel Jiménez Cobano, José María Ucha-Enríquez |
| 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 | On Unimodular Matrices of Difference Operators. Sergei A. Abramov, Denis E. Khmelnov |
| 2018 | On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2. Pavel G. Emelyanov, Denis K. Ponomaryov |
| 2018 | Orthogonal Tropical Linear Prevarieties. Dima Grigoriev, Nicolai N. Vorobjov Jr. |
| 2018 | Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. Hoon Hong, Thomas Sturm |
| 2018 | Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk). Jean-Guillaume Dumas |
| 2018 | Qualitative Analysis of a Dynamical System with Irrational First Integrals. Valentin Irtegov, Tatiana Titorenko |
| 2018 | Sparse Polynomial Arithmetic with the BPAS Library. Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza |
| 2018 | Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods. Vladimir V. Kornyak |
| 2018 | Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for \mathrm SU(3) Group. Algirdas Deveikis, A. A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak |
| 2018 | Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière |
| 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. A. A. Gusev, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar, G. Chuluunbaatar, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, Pavel Krassovitskiy |
| 2018 | Tropical Newton-Puiseux Polynomials. Dima Grigoriev |