| 2020 | Hermite Rational Function Interpolation with Error Correction. | Erich L. Kaltofen, Clment Pernet, Zhi-Hong Yang |
| 2020 | Routh - Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations. | Elizaveta Kalinina, Yuri Smol'kin, Alexei Yu. Uteshev |
| 2020 | Progress Report on the Scala Algebra System. | Raphael Jolly |
| 2020 | Complexity Estimates for Fourier-Motzkin Elimination. | Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi |
| 2020 | On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra Methods. | Valentin Irtegov, Tatiana Titorenko |
| 2020 | Intrinsic Complexity for Constructing Zero-Dimensional Grbner Bases. | Amir Hashemi, Joos Heintz, Luis M. Pardo, Pablo Solern |
| 2020 | Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes. | Dmitry V. Divakov, Anastasia A. Tiutiunnik, Anton L. Sevastianov |
| 2020 | Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5)˟ SU(1, 1) Group. | Algirdas Deveikis, Alexander A. Gusev, Vladimir P. Gerdt, Sergue I. Vinitsky, Andrzej Gzdz, Aleksandra Pedrak, Cestmir Burdik, George S. Pogosyan |
| 2020 | On Parametric Linear System Solving. | Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders |
| 2020 | The GPGCD Algorithm with the Bzout Matrix. | Boming Chi, Akira Terui |
| 2020 | The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization. | Tian Chen, Michael B. Monagan |
| 2020 | Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition. | Christopher W. Brown, Scott McCallum |
| 2020 | Power Series Arithmetic with the BPAS Library. | Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza |
| 2020 | Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication Approach. | Marco Bodrato, Alberto Zanoni |
| 2020 | On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes. | Edik A. Ayryan, Mikhail D. Malykh, Leonid A. Sevastianov, Yu Ying |
| 2020 | Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations. | Sergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko |
| 2020 | On the Complexity of Computing Integral Bases of Function Fields. | Simon Abelard |
| 2019 | Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation. | Zhenbing Zeng, Liangyu Chen |
| 2019 | Counting Roots of a Polynomial in a Convex Compact Region by Means of Winding Number Calculation via Sampling. | Vitaly Zaderman, Liang Zhao |
| 2019 | Towards Soft Exact Computation (Invited Talk). | Chee Yap |
| 2019 | A Divergence-Free Method for Solving the Incompressible Navier-Stokes Equations on Non-uniform Grids and Its Symbolic-Numeric Implementation. | Evgenii V. Vorozhtsov, Vasily P. Shapeev |
| 2019 | Symbolic-Numeric Implementation of the Four Potential Method for Calculating Normal Modes: An Example of Square Electromagnetic Waveguide with Rectangular Insert. | Anastasia A. Tiutiunnik, Dmitry V. Divakov, Mikhail D. Malykh, Leonid A. Sevastianov |
| 2019 | Rings: An Efficient JVM Library for Commutative Algebra (Invited Talk). | Stanislav Poslavsky |
| 2019 | Old and New Nearly Optimal Polynomial Root-Finders. | Victor Y. Pan |
| 2019 | An Algorithm for Solving a Quartic Diophantine Equation Satisfying Runge's Condition. | Nikolay N. Osipov, S. D. Dalinkevich |