| 2019 | Standard Lattices of Compatibly Embedded Finite Fields. | Luca De Feo, Hugues Randriam, douard Rousseau |
| 2019 | Verified Real Asymptotics in Isabelle/HOL. | Manuel Eberl |
| 2019 | Efficiently Factoring Polynomials Modulo p4. | Ashish Dwivedi, Rajat Mittal, Nitin Saxena |
| 2019 | LU Factorization with Errors. | Jean-Guillaume Dumas, Joris van der Hoeven, Clment Pernet, Daniel S. Roche |
| 2019 | Plantinga-Vegter Algorithm takes Average Polynomial Time. | Felipe Cucker, Alperen Ali Ergr, Josu Tonelli-Cueto |
| 2019 | Big Prime Field FFT on Multi-core Processors. | Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang |
| 2019 | Symbolic Integration of Hyperexponential 1-Forms. | Thierry Combot |
| 2019 | Certified Numerical Real Root Isolation for Bivariate Polynomial Systems. | Jin-San Cheng, Junyi Wen |
| 2019 | Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases. | Shaoshi Chen, Lixin Du, Chaochao Zhu |
| 2019 | A Reduction Approach to Creative Telescoping. | Shaoshi Chen |
| 2019 | The Art of Telescoping. | William Y. C. Chen |
| 2019 | Grbner Bases Over Tate Algebras. | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2019 | Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions. | Michael A. Burr, Kisun Lee, Anton Leykin |
| 2019 | On Moment Problems with Holonomic Functions. | Florent Brhard, Mioara Joldes, Jean-Bernard Lasserre |
| 2019 | Deterministic Reduction of Integer Nonsingular Linear System Solving to Matrix Multiplication. | Stavros Birmpilis, George Labahn, Arne Storjohann |
| 2019 | Monomial Resolutions for Efficient Computation of Simplicial Homology. | Anna Maria Bigatti, Jnathan Heras, Eduardo Senz-de-Cabezn |
| 2019 | Linear Algebra for Zero-Dimensional Ideals. | Anna Maria Bigatti |
| 2019 | Grbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems. | Matas R. Bender, Jean-Charles Faugre, Elias P. Tsigaridas |
| 2019 | Symmetry Preserving Interpolation. | Erick Rodrguez Bazan, Evelyne Hubert |
| 2019 | Simple Forms and Rational Solutions of Pseudo-Linear Systems. | Moulay A. Barkatou, Thomas Cluzeau, Ali El-Hajj |
| 2019 | Algebraic Methods in the Design of Experiments. | Satoshi Aoki |
| 2018 | An Approach for Certifying Homotopy Continuation Paths: Univariate Case. | Juan Xu, Michael A. Burr, Chee Yap |
| 2018 | On Computing the Resultant of Generic Bivariate Polynomials. | Gilles Villard |
| 2018 | On Affine Tropical F5 Algorithms. | Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama |
| 2018 | Thirty Years of Virtual Substitution: Foundations, Techniques, Applications. | Thomas Sturm |