| 2023 | SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials. | Kosaku Nagasaka |
| 2023 | Computing the Characteristic Polynomial of Endomorphisms of a finite Drinfeld Module using Crystalline Cohomology. | Yossef Musleh, ric Schost |
| 2023 | Faster real root decision algorithm for symmetric polynomials. | George Labahn, Cordian Riener, Mohab Safey El Din, ric Schost, Thi Xuan Vu |
| 2023 | Sum of Squares Bounds for the Empty Integral Hull Problem. | Adam Kurpisz, Elias Samuel Wirth |
| 2023 | Algebra-Based Loop Analysis. | Laura Kovcs |
| 2023 | A Unified Approach to Unimodality of Gaussian Polynomials. | Christoph Koutschan, Ali Kemal Uncu, Elaine Wong |
| 2023 | Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. | Przemyslaw Koprowski, Victor Magron, Tristan Vaccon |
| 2023 | Factorization and root-finding for polynomials over division quaternion algebras. | Przemyslaw Koprowski |
| 2023 | Invariants: Computation and Applications. | Irina A. Kogan |
| 2023 | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. | George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2023 | From Polynomial Invariants to Linear Loops. | George Kenison, Laura Kovcs, Anton Varonka |
| 2023 | Order bounds for C2-finite sequences. | Manuel Kauers, Philipp Nuspl, Veronika Pillwein |
| 2023 | Flip Graphs for Matrix Multiplication. | Manuel Kauers, Jakob Moosbauer |
| 2023 | Transcendence Certificates for D-finite Functions. | Manuel Kauers, Christoph Koutschan, Thibaut Verron |
| 2023 | On Isolating Roots in a Multiple Field Extension. | Christina Katsamaki, Fabrice Rouillier |
| 2023 | On the Order of Power Series and the Sum of Square Roots Problem. | Gorav Jindal, Louis Gaillard |
| 2023 | Algorithm for Connectivity Queries on Real Algebraic Curves. | Md. Nazrul Islam, Adrien Poteaux, Rmi Prbet |
| 2023 | Multiplication polynomials for elliptic curves over finite local rings. | Riccardo Invernizzi, Daniele Taufer |
| 2023 | Fast evaluation and root finding for polynomials with floating-point coefficients. | Rmi Imbach, Guillaume Moroz |
| 2023 | New Sparse Multivariate Polynomial Factorization Algorithms over Integers. | Qiao-Long Huang, Xiao-Shan Gao |
| 2023 | Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems. | Bo Huang |
| 2023 | Signature Grbner bases in free algebras over rings. | Clemens Hofstadler, Thibaut Verron |
| 2023 | Towards Practical Fast Matrix Multiplication based on Trilinear Aggregation. | Tor Hadas, Oded Schwartz |
| 2023 | A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization. | Sander Gribling, Sven C. Polak, Lucas Slot |
| 2023 | Refined F5 Algorithms for Ideals of Minors of Square Matrices. | Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din |