| 2025 | A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games. Tianshi Yu, Lihong Zhi |
| 2025 | A unified approach for degree bound estimates of linear differential operators. Louis Gaillard |
| 2025 | Additive partial matchings for persistent homology. Rocío González-Díaz, Manuel Soriano-Trigueros, Álvaro Torras-Casas |
| 2025 | Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations: Jacobi Stability of Systems of Second Order ODEs. Christian G. Böhmer, Bo Huang, Dongming Wang, Xinyu Wang |
| 2025 | Algorithmic Problems in Categories of Partitions. Nicolas Faroß, Sebastian Volz |
| 2025 | An Efficient Algorithm for Determining the Equivalence of Zero-one Reaction Networks. Yue Jiao, Xiaoxian Tang |
| 2025 | An algorithmic proof of the coherence of the ring of polynomial ordinary integro-differential operators. Thomas Cluzeau, Camille Pinto, Alban Quadrat |
| 2025 | Bounds for D-Algebraic Closure Properties. Manuel Kauers, Raphael Pages |
| 2025 | Certified algebraic curve projections by path tracking. Michael A. Burr, Michael Byrd, Kisun Lee |
| 2025 | Characterization of Logarithmic Fekete Critical Configurations of at Most Six Points in All Dimensions. Diego Armentano, Leandro Bentancur, Federico Carrasco, Marcelo Fiori, Matías Valdés, Mauricio Velasco |
| 2025 | Complete Reduction for Derivatives in a Primitive Tower. Hao Du, Yiman Gao, Wenqiao Li, Ziming Li |
| 2025 | Completing Parametric Unimodular Rows to Unimodular Matrices. Ligeng Fan, Dingkang Wang, Fanghui Xiao, Xiaopeng Zheng |
| 2025 | Computational Complexity of Polynomial Subalgebras. Elisabeth Leonie Kayser |
| 2025 | Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings. Thi Xuan Vu |
| 2025 | Computing the local group of prime-power classes. Przemyslaw Koprowski, Josnei Novacoski |
| 2025 | D-Finiteness: A Success Story. Manuel Kauers |
| 2025 | Faster Algebraic Shifting. Antony Della Vecchia, Michael Joswig, Fabian Lenzen |
| 2025 | Faster search for tensor decomposition over finite fields. Jason Yang |
| 2025 | Flip Graphs with Symmetry and New Matrix Multiplication Schemes. Jakob Moosbauer, Michael Poole |
| 2025 | Graphs with two trivial distance ideals over the ring of polynomials with integer coefficients. Juan Pablo Serrano, Ralihe Raul Villagrán, Carlos A. Alfaro, Teresa I. Hoekstra-Mendoza |
| 2025 | Method of moments for Gaussian mixtures: Implementation and benchmarks. Haley Colgate Kottler, Julia Lindberg, Jose Israel Rodriguez |
| 2025 | Non-minimality of minimal telescopers explained by residues. Shaoshi Chen, Manuel Kauers, Christoph Koutschan, Xiuyun Li, Rong-Hua Wang, Yisen Wang |
| 2025 | On OM Algorithms and Cluster Pictures. Adrien Poteaux, Tristan Vaccon, Martin Weimann |
| 2025 | On properties of Legendre pairs under compression. Ilias S. Kotsireas, Ana-Isabel Gómez, Domingo Gómez-Pérez |
| 2025 | On the Computation of Newton Polytopes of Eliminants. Rafael Mohr, Yulia Mukhina |
| 2025 | On the Degrees of Reduced Gröbner Bases of Products of Determinantal Ideals. Qiuye Song, Chenqi Mou |
| 2025 | On the Number of Real Types of Univariate Polynomials. Nicolas Faroß, Thomas Sturm |
| 2025 | On the complexity of the relative eigenvector problem. Pilar Coscojuela, Krishna Mahavadi, Ludovic Perret, Alex Ryba, Simona Samardjiska |
| 2025 | Optimal Bounds for the Number of Pieces of Real Near-Circuit Hypersurfaces. Weixun Deng, J. Maurice Rojas, Cordelia Russell |
| 2025 | Polynomial solutions for general linear polynomial ordinary integro-differential systems. Thomas Cluzeau, Camille Pinto, Alban Quadrat |
| 2025 | Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues. Alaa Ibrahim |
| 2025 | Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, ISSAC 2025, Guanajuato, Mexico, 28 July 2025 - 1 August 2025 Carlos D'Andrea, Sonia Pérez-Díaz, Santiago Laplagne |
| 2025 | Quantifier Elimination Over the Integers. Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, Chirantan Mukherjee |
| 2025 | Quasi-Linear Guessing of Minimal Lexicographic Gröbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences. Jérémy Berthomieu, Romain Lebreton, Kevin Tran |
| 2025 | Recent Advances on Integral Elimination. François Lemaire, Louis Roussel |
| 2025 | Redundancy analysis using lcm-filtrations: networks, system signature and sensitivity evaluation. Fatemeh Mohammadi, Eduardo Sáenz-de-Cabezón, Henry P. Wynn |
| 2025 | Solving bihomogeneous polynomial systems with a zero-dimensional projection. Matías R. Bender, Laurent Busé, Carles Checa, Elias P. Tsigaridas |
| 2025 | Solving generic parametric linear matrix inequalities. Simone Naldi, Mohab Safey El Din, Adrien Taylor, Weijia Wang |
| 2025 | Some Applications of Chinese Remainder Theorem Codes with Error-Correction. Éric Schost, Jesse Elliott |
| 2025 | Structural Analysis of Oligopoly Equilibria Based on Triangular Decomposition and Cylindrical Algebraic Decomposition: Structural Analysis of Oligopoly Equilibria. Xiaoliang Li, Bo Huang, Ally Quan Zhang |
| 2025 | Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. Robert M. Corless, Arthur C. Norman, Tomás Recio, William J. Turkel, Stephen M. Watt |
| 2025 | Terminal Fano 4-folds in low codimension. Muhammad Imran Qureshi |
| 2025 | Tropical Fréchet Means. Bo Lin, Kamillo Ferry, Carlos Améndola, Anthea Monod, Ruriko Yoshida |