| 2020 | "Mathemachines" via LEGO, GeoGebra and CindyJS. Zoltán Kovács |
| 2020 | A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks. Hamid Rahkooy, Ovidiu Radulescu, Thomas Sturm |
| 2020 | Acceleration of Subdivision Root-Finding for Sparse Polynomials. Victor Y. Pan |
| 2020 | Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk). Werner M. Seiler, Matthias Seiß |
| 2020 | Analytical Computations in Studying Translational-Rotational Motion of a Non-stationary Triaxial Body in the Central Gravitational Field. Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, Oralkhan Baisbayeva |
| 2020 | Balanced NUCOMP. Sebastian Lindner, Laurent Imbert, Michael J. Jacobson Jr. |
| 2020 | Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like Groups. Tao Zheng |
| 2020 | Comparative Study of the Accuracy of Higher-Order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means. Evgenii V. Vorozhtsov, Sergey P. Kiselev |
| 2020 | Complexity Estimates for Fourier-Motzkin Elimination. Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi |
| 2020 | Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov |
| 2020 | Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality. Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima |
| 2020 | Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities. Katsusuke Nabeshima |
| 2020 | Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order. Yang Liu, Dmitry A. Lyakhov, Dominik L. Michels |
| 2020 | Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition. Christopher W. Brown, Scott McCallum |
| 2020 | Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations. Qi Luan, Victor Y. Pan, Won-geun Kim, Vitaly Zaderman |
| 2020 | First-Order Tests for Toricity. Hamid Rahkooy, Thomas Sturm |
| 2020 | Good Pivots for Small Sparse Matrices. Manuel Kauers, Jakob Moosbauer |
| 2020 | Hermite Rational Function Interpolation with Error Correction. Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang |
| 2020 | Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases. Amir Hashemi, Joos Heintz, Luis M. Pardo, Pablo Solernó |
| 2020 | Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System. Eugenio Roanes-Lozano |
| 2020 | Nullstellensatz-Proofs for Multiplier Verification. Daniela Kaufmann, Armin Biere |
| 2020 | On Parametric Linear System Solving. Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders |
| 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 | On the Complexity of Computing Integral Bases of Function Fields. Simon Abelard |
| 2020 | On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra Methods. Valentin Irtegov, Tatiana Titorenko |
| 2020 | Power Series Arithmetic with the BPAS Library. Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza |
| 2020 | Progress Report on the Scala Algebra System. Raphael Jolly |
| 2020 | Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers. Simon Telen, Marc Van Barel, Jan Verschelde |
| 2020 | Routh - Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations. Elizaveta Kalinina, Yuri Smol'kin, Alexei Yu. Uteshev |
| 2020 | Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5)˟ SU(1, 1) Group. Algirdas Deveikis, Alexander Gusev, Vladimir P. Gerdt, Sergue I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak, Cestmir Burdik, George S. Pogosyan |
| 2020 | Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials. Jihad Titi, Jürgen Garloff |
| 2020 | Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes. Dmitry V. Divakov, Anastasia A. Tiutiunnik, Anton L. Sevastianov |
| 2020 | The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization. Tian Chen, Michael B. Monagan |
| 2020 | The GPGCD Algorithm with the Bézout Matrix. Boming Chi, Akira Terui |
| 2020 | Tropical Geometry of Biological Systems (Invited Talk). Ovidiu Radulescu |
| 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 | Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication Approach. Marco Bodrato, Alberto Zanoni |