| 2023 | A Direttissimo Algorithm for Equidimensional Decomposition. | Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din |
| 2023 | Using monodromy to recover symmetries of polynomial systems. | Timothy Duff, Viktor Korotynskiy, Toms Pajdla, Margaret H. Regan |
| 2023 | Sensitivity analysis of discrete preference functions using Koszul simplicial complexes. | Jose Divasn, Fatemeh Mohammadi, Eduardo Senz-de-Cabezn, Henry P. Wynn |
| 2023 | Lazard-style CAD and Equational Constraints. | James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu |
| 2023 | Chinese Remainder Theorem for bivariate lexicographic Grbner bases. | Xavier Dahan |
| 2023 | Blendstrings: an environment for computing with smooth functions. | Robert M. Corless |
| 2023 | Hyperelliptic Integrals to Elliptic Integrals. | Thierry Combot |
| 2023 | Further results on the computation of the annihilators of integro-differential operators. | Thomas Cluzeau, Camille Pinto, Alban Quadrat |
| 2023 | Deciding first-order formulas involving univariate mixed trigonometric-polynomials. | Rizeng Chen, Bican Xia |
| 2023 | A New Black Box Factorization Algorithm - the Non-monic Case. | Tian Chen, Michael B. Monagan |
| 2023 | Stability Problems on D-finite Functions. | Shaoshi Chen, Ruyong Feng, Zewang Guo, Wei Lu |
| 2023 | Hermite Reduction for D-finite Functions via Integral Bases. | Shaoshi Chen, Lixin Du, Manuel Kauers |
| 2023 | An effective description of the roots of bivariates mod pk and the related Igusa's local zeta function. | Sayak Chakrabarti, Nitin Saxena |
| 2023 | Isolating clusters of zeros of analytic systems using arbitrary-degree inflation. | Michael A. Burr, Kisun Lee, Anton Leykin |
| 2023 | Certified simultaneous isotopic approximation of pairs of curves via subdivision. | Michael A. Burr, Michael Byrd |
| 2023 | Real zeros of mixed random fewnomial systems. | Peter Brgisser |
| 2023 | Generalised cone complexes and tropical moduli in polymake. | Dominic Bunnett, Michael Joswig, Julian Pfeifle |
| 2023 | Validated Root Enclosures for Interval Polynomials with Multiplicities. | Florent Brhard, Adrien Poteaux, Lo Soudant |
| 2023 | Beating binary powering for polynomial matrices. | Alin Bostan, Vincent Neiger, Sergey Yurkevich |
| 2023 | Fast Algorithms for Discrete Differential Equations. | Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din |
| 2023 | Matrix Structures and Matrix Functions. | Paola Boito |
| 2023 | An Algorithm to Enumerate Grid Signed Permutation Classes. | Sal A. Blanco, Daniel E. Skora |
| 2023 | Moment Varieties for Mixtures of Products. | Yulia Alexandr, Joe Kileel, Bernd Sturmfels |
| 2023 | The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems. | Marianne Akian, Antoine Breau, Stphane Gaubert |
| 2023 | Computing Logarithmic Parts by Evaluation Homomorphisms✱. | Hao Du, Yiman Gao, Jing Guo, Ziming Li |