| 2025 | On OM Algorithms and Cluster Pictures. | Adrien Poteaux, Tristan Vaccon, Martin Weimann |
| 2025 | Solving generic parametric linear matrix inequalities. | Simone Naldi, Mohab Safey El Din, Adrien Taylor, Weijia Wang |
| 2025 | Flip Graphs with Symmetry and New Matrix Multiplication Schemes. | Jakob Moosbauer, Michael Poole |
| 2025 | On the Computation of Newton Polytopes of Eliminants. | Rafael Mohr, Yulia Mukhina |
| 2025 | Redundancy analysis using lcm-filtrations: networks, system signature and sensitivity evaluation. | Fatemeh Mohammadi, Eduardo Senz-de-Cabezn, Henry P. Wynn |
| 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 | Recent Advances on Integral Elimination. | Franois Lemaire, Louis Roussel |
| 2025 | Method of moments for Gaussian mixtures: Implementation and benchmarks. | Haley Colgate Kottler, Julia Lindberg, Jose Israel Rodriguez |
| 2025 | On properties of Legendre pairs under compression. | Ilias S. Kotsireas, Ana-Isabel Gmez, Domingo Gmez-Prez |
| 2025 | Computing the local group of prime-power classes. | Przemyslaw Koprowski, Josnei Novacoski |
| 2025 | Computational Complexity of Polynomial Subalgebras. | Elisabeth Leonie Kayser |
| 2025 | Bounds for D-Algebraic Closure Properties. | Manuel Kauers, Raphael Pages |
| 2025 | D-Finiteness: A Success Story. | Manuel Kauers |
| 2025 | Quantifier Elimination Over the Integers. | Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, Chirantan Mukherjee |
| 2025 | An Efficient Algorithm for Determining the Equivalence of Zero-one Reaction Networks. | Yue Jiao, Xiaoxian Tang |
| 2025 | Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues. | Alaa Ibrahim |
| 2025 | Additive partial matchings for persistent homology. | Roco Gonzlez-Daz, Manuel Soriano-Trigueros, lvaro Torras-Casas |
| 2025 | A unified approach for degree bound estimates of linear differential operators. | Louis Gaillard |
| 2025 | Algorithmic Problems in Categories of Partitions. | Nicolas Faro, Sebastian Volz |
| 2025 | On the Number of Real Types of Univariate Polynomials. | Nicolas Faro, Thomas Sturm |
| 2025 | Completing Parametric Unimodular Rows to Unimodular Matrices. | Ligeng Fan, Dingkang Wang, Fanghui Xiao, Xiaopeng Zheng |
| 2025 | Optimal Bounds for the Number of Pieces of Real Near-Circuit Hypersurfaces. | Weixun Deng, J. Maurice Rojas, Cordelia Russell |
| 2025 | On the complexity of the relative eigenvector problem. | Pilar Coscojuela, Krishna Mahavadi, Ludovic Perret, Alex Ryba, Simona Samardjiska |
| 2025 | Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. | Robert M. Corless, Arthur C. Norman, Toms Recio, William J. Turkel, Stephen M. Watt |
| 2025 | An algorithmic proof of the coherence of the ring of polynomial ordinary integro-differential operators. | Thomas Cluzeau, Camille Pinto, Alban Quadrat |