| 2021 | Symbolic-Numeric Algorithms for Computing Orthonormal Bases of SU(3) Group for Orbital Angular Momentum. | Algirdas Deveikis, Alexander A. Gusev, Sergue I. Vinitsky, Andrzej Gzdz, Aleksandra Pedrak, Cestmir Burdik, George S. Pogosyan |
| 2021 | On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation. | Alexander Brandt, Marc Moreno Maza |
| 2021 | On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. | Franois Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar Len Snchez |
| 2021 | The m-Bzout Bound and Distance Geometry. | Evangelos Bartzos, Ioannis Z. Emiris, Charalambos Tzamos |
| 2021 | On Rational Solutions of Pseudo-linear Systems. | Moulay A. Barkatou, Thomas Cluzeau, Ali El-Hajj |
| 2021 | Computational Schemes for Subresultant Chains. | Mohammadali Asadi, Alexander Brandt, Marc Moreno Maza |
| 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 | 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, Jrgen Garloff |
| 2020 | Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers. | Simon Telen, Marc Van Barel, Jan Verschelde |
| 2020 | Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality. | Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima |
| 2020 | Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk). | Werner M. Seiler, Matthias Sei |
| 2020 | Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System. | Eugenio Roanes-Lozano |
| 2020 | First-Order Tests for Toricity. | Hamid Rahkooy, Thomas Sturm |
| 2020 | A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks. | Hamid Rahkooy, Ovidiu Radulescu, Thomas Sturm |
| 2020 | Tropical Geometry of Biological Systems (Invited Talk). | Ovidiu Radulescu |
| 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 | Acceleration of Subdivision Root-Finding for Sparse Polynomials. | Victor Y. Pan |
| 2020 | Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities. | Katsusuke Nabeshima |
| 2020 | Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations. | Qi Luan, Victor Y. Pan, Won-geun Kim, Vitaly Zaderman |
| 2020 | Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order. | Yang Liu, Dmitry A. Lyakhov, Dominik L. Michels |
| 2020 | Balanced NUCOMP. | Sebastian Lindner, Laurent Imbert, Michael J. Jacobson Jr. |
| 2020 | "Mathemachines" via LEGO, GeoGebra and CindyJS. | Zoltn Kovcs |
| 2020 | Nullstellensatz-Proofs for Multiplier Verification. | Daniela Kaufmann, Armin Biere |
| 2020 | Good Pivots for Small Sparse Matrices. | Manuel Kauers, Jakob Moosbauer |