| 2023 | A Characterization of Perfect Strategies for Mirror Games. Sizhuo Yan, Jianting Yang, Tianshi Yu, Lihong Zhi |
| 2023 | A Direttissimo Algorithm for Equidimensional Decomposition. Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din |
| 2023 | A New Black Box Factorization Algorithm - the Non-monic Case. Tian Chen, Michael B. Monagan |
| 2023 | A Unified Approach to Unimodality of Gaussian Polynomials. Christoph Koutschan, Ali Kemal Uncu, Elaine Wong |
| 2023 | A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization. Sander Gribling, Sven C. Polak, Lucas Slot |
| 2023 | Algebra-Based Loop Analysis. Laura Kovács |
| 2023 | Algorithm for Connectivity Queries on Real Algebraic Curves. Md. Nazrul Islam, Adrien Poteaux, Rémi Prébet |
| 2023 | An Algorithm to Enumerate Grid Signed Permutation Classes. Saúl A. Blanco, Daniel E. Skora |
| 2023 | An effective description of the roots of bivariates mod pk and the related Igusa's local zeta function. Sayak Chakrabarti, Nitin Saxena |
| 2023 | Beating binary powering for polynomial matrices. Alin Bostan, Vincent Neiger, Sergey Yurkevich |
| 2023 | Blendstrings: an environment for computing with smooth functions. Robert M. Corless |
| 2023 | Certified simultaneous isotopic approximation of pairs of curves via subdivision. Michael A. Burr, Michael Byrd |
| 2023 | Chinese Remainder Theorem for bivariate lexicographic Gröbner bases. Xavier Dahan |
| 2023 | Computing Logarithmic Parts by Evaluation Homomorphisms✱. Hao Du, Yiman Gao, Jing Guo, Ziming Li |
| 2023 | Computing the Characteristic Polynomial of Endomorphisms of a finite Drinfeld Module using Crystalline Cohomology. Yossef Musleh, Éric Schost |
| 2023 | Deciding first-order formulas involving univariate mixed trigonometric-polynomials. Rizeng Chen, Bican Xia |
| 2023 | Efficient Generic Quotients Using Exact Arithmetic. Stephen Michael Watt |
| 2023 | Elimination ideal and bivariate resultant over finite fields. Gilles Villard |
| 2023 | Exact computations with quasiseparable matrices. Clément Pernet, Hippolyte Signargout, Gilles Villard |
| 2023 | Factorization and root-finding for polynomials over division quaternion algebras. Przemyslaw Koprowski |
| 2023 | Fast Algorithms for Discrete Differential Equations. Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din |
| 2023 | Fast evaluation and root finding for polynomials with floating-point coefficients. Rémi Imbach, Guillaume Moroz |
| 2023 | Faster real root decision algorithm for symmetric polynomials. George Labahn, Cordian Riener, Mohab Safey El Din, Éric Schost, Thi Xuan Vu |
| 2023 | Flip Graphs for Matrix Multiplication. Manuel Kauers, Jakob Moosbauer |
| 2023 | From Polynomial Invariants to Linear Loops. George Kenison, Laura Kovács, Anton Varonka |
| 2023 | Further results on the computation of the annihilators of integro-differential operators. Thomas Cluzeau, Camille Pinto, Alban Quadrat |
| 2023 | Generalised cone complexes and tropical moduli in polymake. Dominic Bunnett, Michael Joswig, Julian Pfeifle |
| 2023 | Hermite Reduction for D-finite Functions via Integral Bases. Shaoshi Chen, Lixin Du, Manuel Kauers |
| 2023 | Hyperelliptic Integrals to Elliptic Integrals. Thierry Combot |
| 2023 | Invariants: Computation and Applications. Irina A. Kogan |
| 2023 | Isolating clusters of zeros of analytic systems using arbitrary-degree inflation. Michael A. Burr, Kisun Lee, Anton Leykin |
| 2023 | Lazard-style CAD and Equational Constraints. James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu |
| 2023 | Least distortion Euclidean embeddings of flat tori. Frank Vallentin, Philippe Moustrou |
| 2023 | Matrix Structures and Matrix Functions. Paola Boito |
| 2023 | Moment Varieties for Mixtures of Products. Yulia Alexandr, Joe Kileel, Bernd Sturmfels |
| 2023 | Multiplication polynomials for elliptic curves over finite local rings. Riccardo Invernizzi, Daniele Taufer |
| 2023 | New Characterization of the Factor Refinement Algorithm with Applications. Aditya Ravi, Ilya Volkovich |
| 2023 | New Sparse Multivariate Polynomial Factorization Algorithms over Integers. Qiao-Long Huang, Xiao-Shan Gao |
| 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 | Order bounds for C2-finite sequences. Manuel Kauers, Philipp Nuspl, Veronika Pillwein |
| 2023 | Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. Przemyslaw Koprowski, Victor Magron, Tristan Vaccon |
| 2023 | Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023 Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo |
| 2023 | Real zeros of mixed random fewnomial systems. Peter Bürgisser |
| 2023 | Refined F5 Algorithms for Ideals of Minors of Square Matrices. Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din |
| 2023 | Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱. Carsten Schneider |
| 2023 | SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials. Kosaku Nagasaka |
| 2023 | Sensitivity analysis of discrete preference functions using Koszul simplicial complexes. Jose Divasón, Fatemeh Mohammadi, Eduardo Sáenz-de-Cabezón, Henry P. Wynn |
| 2023 | Signature Gröbner bases in free algebras over rings. Clemens Hofstadler, Thibaut Verron |
| 2023 | Stability Problems on D-finite Functions. Shaoshi Chen, Ruyong Feng, Zewang Guo, Wei Lu |
| 2023 | Sum of Squares Bounds for the Empty Integral Hull Problem. Adam Kurpisz, Elias Samuel Wirth |
| 2023 | Termination of linear loops under commutative updates. Ruiwen Dong |
| 2023 | The Complexity of Diagonalization. Nikhil Srivastava |
| 2023 | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2023 | The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems. Marianne Akian, Antoine Béreau, Stéphane Gaubert |
| 2023 | Towards Practical Fast Matrix Multiplication based on Trilinear Aggregation. Tor Hadas, Oded Schwartz |
| 2023 | Transcendence Certificates for D-finite Functions. Manuel Kauers, Christoph Koutschan, Thibaut Verron |
| 2023 | Two Views of ℙ Rekha R. Thomas |
| 2023 | Universal Analytic Gröbner Bases and Tropical Geometry. Tristan Vaccon, Thibaut Verron |
| 2023 | Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems. Bo Huang |
| 2023 | Using monodromy to recover symmetries of polynomial systems. Timothy Duff, Viktor Korotynskiy, Tomás Pajdla, Margaret H. Regan |
| 2023 | Validated Root Enclosures for Interval Polynomials with Multiplicities. Florent Bréhard, Adrien Poteaux, Léo Soudant |
| 2023 | p-adic algorithm for bivariate Gröbner bases. Éric Schost, Catherine St-Pierre |