| 2024 | A New Sparse Polynomial GCD by Separating Terms. Michael B. Monagan, Qiao-Long Huang |
| 2024 | A New Type of Dimension Polynomials of Inversive Difference Field Extensions. Alexander Levin |
| 2024 | A quasi-optimal lower bound for skew polynomial multiplication. Qiyuan Chen, Ke Ye |
| 2024 | Adaptive Flip Graph Algorithm for Matrix Multiplication. Yamato Arai, Yuma Ichikawa, Koji Hukushima |
| 2024 | Algebraic Tools for Computing Polynomial Loop Invariants. Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet |
| 2024 | An Algorithm for Computing Greatest Common Right Divisors of Parametric Ore Polynomials. Xiuquan Ding, Dingkang Wang, Fanghui Xiao, Xiaopeng Zheng |
| 2024 | Automated Reasoning For The Existence Of Darboux Polynomials. Khalil Ghorbal, Maxime Bridoux |
| 2024 | Certified homotopy tracking using the Krawczyk method. Timothy Duff, Kisun Lee |
| 2024 | Complexity Analysis of Triangular Decomposition over F_2 with Strongly Chordal Graphs. Zhaoxing Qi, Chenqi Mou |
| 2024 | Computational algebraic geometry for evolutionary biology. Elizabeth Gross |
| 2024 | Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting. Jérémy Berthomieu, Rafael Mohr |
| 2024 | Computing Krylov iterates in the time of matrix multiplication. Vincent Neiger, Clément Pernet, Gilles Villard |
| 2024 | Computing discrete residues of rational functions. Carlos E. Arreche, Hari P. Sitaula |
| 2024 | Connectivity in Symmetric Semi-Algebraic Sets. Cordian Riener, Robin Schabert, Thi Xuan Vu |
| 2024 | Constant Depth Circuit Complexity for Generating Quasigroups. Nathaniel A. Collins, Joshua A. Grochow, Michael Levet, Armin Weiß |
| 2024 | Corrigimus, verificamus, vincimus: Ensuring algorithmic accuracy in an age of uncertainty. Daniel S. Roche |
| 2024 | Decoding Simultaneous Rational Evaluation Codes. Matteo Abbondati, Eleonora Guerrini, Romain Lebreton |
| 2024 | Decomposition of Polynomial Ideals into Triangular Regular Sequences. Dongming Wang, Linpeng Wang |
| 2024 | Effective characterization of evaluation ideals of the ring of integro-differential operators. Thomas Cluzeau, Camille Pinto, Alban Quadrat |
| 2024 | Efficient detection of redundancies in systems of linear inequalities✱. Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan |
| 2024 | Embedding Integer Lattices as Ideals into Polynomial Rings. Yihang Cheng, Yansong Feng, Yanbin Pan |
| 2024 | Encounters in Symbolic Computation: Ideas for the Ages. Erich L. Kaltofen |
| 2024 | Enumerating polynomial colored permutation classes. Saúl A. Blanco, Daniel E. Skora |
| 2024 | Exploring the Geometric Buchberger Algorithm in Integer Programming. Gabriel Mattos Langeloh |
| 2024 | Factorial Basis Method for q-Series Applications. Antonio Jiménez-Pastor, Ali Kemal Uncu |
| 2024 | Fast interpolation and multiplication of unbalanced polynomials. Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche |
| 2024 | Faster Groebner bases for Lie derivatives of ODE systems via monomial orderings. Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova, Alexey Ovchinnikov, Gleb Pogudin, Pedro Soto |
| 2024 | Feasibility of Circuit Polynomials without Purple Swans: Feasibility without Purple Swans. Weixun Deng, Alperen Ali Ergür, Grigoris Paouris, J. Maurice Rojas |
| 2024 | Gröbner Bases Over Polytopal Affinoid Algebras. Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon |
| 2024 | Hybrid Symbolic-Numeric and Numerically-Assisted Symbolic Integration. Shahriar Iravanian, Shashi Gowda, Christopher Rackauckas |
| 2024 | In-place accumulation of fast multiplication formulae. Jean-Guillaume Dumas, Bruno Grenet |
| 2024 | In-place fast polynomial modular remainder. Jean-Guillaume Dumas, Bruno Grenet |
| 2024 | Initial Application of SONC to Lyapunov Stability of Dynamical Systems. Timo de Wolff, Janin Heuer |
| 2024 | Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation. Bo Huang, Dongming Wang, Jing Yang |
| 2024 | Liouvillian Solutions of Third Order Differential Equations. Thierry Combot, Camilo Sanabria |
| 2024 | New Bounds on Quotient Polynomials with Applications to Exact Division and Divisibility Testing of Sparse Polynomials. Ido Nahshon, Amir Shpilka |
| 2024 | On Minimal and Minimum Cylindrical Algebraic Decompositions. Lucas Michel, Pierre Mathonet, Naïm Zénaïdi |
| 2024 | On the Problem of Separating Variables in Multivariate Polynomial Ideals. Manfred Buchacher, Manuel Kauers |
| 2024 | Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations. Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din |
| 2024 | Parallel Summation in P-Recursive Extensions. Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li |
| 2024 | Preserving and Exploiting Symmetry in Algebraic Computation. Evelyne Hubert |
| 2024 | Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024 Jonathan D. Hauenstein, Wen-shin Lee, Shaoshi Chen |
| 2024 | Reduction of Transcendental Decision Problems over the Reals. Rizeng Chen, Bican Xia |
| 2024 | SAT and Lattice Reduction for Integer Factorization. Yameen Ajani, Curtis Bright |
| 2024 | Solving Third Order Linear Difference Equations in Terms of Second Order Equations. Heba Bou Kaedbey, Mark van Hoeij, Man Cheung Tsui |
| 2024 | Solving parameter-dependent semi-algebraic systems. Louis Gaillard, Mohab Safey El Din |
| 2024 | Some Lower Bounds on the Reach of an Algebraic Variety. Chris La Valle, Josué Tonelli-Cueto |
| 2024 | Sparse Polynomial Interpolation With Error Correction: Higher Error Capacity by Randomization. Erich L. Kaltofen, Zhi-Hong Yang |
| 2024 | Strassen's algorithm is not optimally accurate. Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic |
| 2024 | Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices. Taihei Oki, Yujin Song |
| 2024 | Subalgebra and Khovanskii bases equivalence. Colin Alstad, Michael A. Burr, Oliver Clarke, Timothy Duff |
| 2024 | Transcendental methods in numerical algebraic geometry. Pierre Lairez |
| 2024 | Unlabeled Sensing Using Rank-One Moment Matrix Completion. Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi |
| 2024 | Validated Numerics for Algebraic Path Tracking. Alexandre Guillemot, Pierre Lairez |
| 2024 | Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets. Zihao Dai, Zijia Li, Zhi-Hong Yang, Lihong Zhi |