| 2021 | On FGLM Algorithms with Tate Algebras. | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2021 | Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. | David Braun, Nicolas Magaud, Pascal Schreck |
| 2021 | Computer Algebra in the Service of Enumerative Combinatorics. | Alin Bostan |
| 2021 | Massively Parallel Computations in Algebraic Geometry. | Janko Bhm, Anne Frhbis-Krger |
| 2021 | msolve: A Library for Solving Polynomial Systems. | Jrmy Berthomieu, Christian Eder, Mohab Safey El Din |
| 2021 | Computing Real Radicals by Moment Optimization. | Lorenzo Baldi, Bernard Mourrain |
| 2021 | Cyclotomic Identity Testing and Applications. | Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell |
| 2021 | Solving Linear Difference Equations with Coefficients in Rings with Idempotent Representations. | Jakob Ablinger, Carsten Schneider |
| 2020 | Geometric modeling and regularization of algebraic problems. | Zhonggang Zeng |
| 2020 | An extended GCD algorithm for parametric univariate polynomials and application to parametric smith normal form. | Dingkang Wang, Hesong Wang, Fanghui Xiao |
| 2020 | Condition numbers for the cube: i: Univariate polynomials and hypersurfaces. | Josu Tonelli-Cueto, Elias P. Tsigaridas |
| 2020 | Parametric standard system for mixed module and its application to singularity theory. | Hiroshi Teramoto, Katsusuke Nabeshima |
| 2020 | General witness sets for numerical algebraic geometry. | Frank Sottile |
| 2020 | Conditional lower bounds on the spectrahedral representation of explicit hyperbolicity cones. | Rafael Oliveira |
| 2020 | Generic bivariate multi-point evaluation, interpolation and modular composition with precomputation. | Vincent Neiger, Johan Rosenkilde, Grigory Solomatov |
| 2020 | A divide-and-conquer algorithm for computing grbner bases of syzygies in finite dimension. | Simone Naldi, Vincent Neiger |
| 2020 | Approximate GCD by bernstein basis, and its applications. | Kosaku Nagasaka |
| 2020 | On the chordality of ordinary differential triangular decomposition in top-down style. | Chenqi Mou |
| 2020 | On parameterized complexity of the word search problem in the Baumslag-Gersten group. | Alexei Miasnikov, Andrey Nikolaev |
| 2020 | WhyMP, a formally verified arbitrary-precision integer library. | Guillaume Melquiond, Raphal Rieu-Helft |
| 2020 | Fast multipoint evaluation and interpolation of polynomials in the LCH-basis over F | Axel Mathieu-Mahias, Michal Quisquater |
| 2020 | Punctual Hilbert scheme and certified approximate singularities. | Angelos Mantzaflaris, Bernard Mourrain, gnes Sznt |
| 2020 | Further results on the factorization and equivalence for multivariate polynomial matrices. | Dong Lu, Dingkang Wang, Fanghui Xiao |
| 2020 | Ubiquity of the exponent of matrix multiplication. | Lek-Heng Lim, Ke Ye |
| 2020 | Some properties of multivariate differential dimension polynomials and their invariants. | Alexander Levin |