| 2019 | A Faster Solution to Smale's 17th Problem I: Real Binomial Systems. Grigoris Paouris, Kaitlyn Phillipson, J. Maurice Rojas |
| 2019 | A New Method for Computing Elimination Ideals of Likelihood Equations. Xiaoxian Tang, Timo de Wolff, Rukai Zhao |
| 2019 | A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. Jie Wang, Haokun Li, Bican Xia |
| 2019 | A Reduction Approach to Creative Telescoping. Shaoshi Chen |
| 2019 | Algebraic Methods in the Design of Experiments. Satoshi Aoki |
| 2019 | Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to PDE Systems. Vladimir P. Gerdt, Daniel Robertz |
| 2019 | An Algorithmic Approach to Limit Cycles of Nonlinear Differential Systems: The Averaging Method Revisited. Bo Huang, Chee Yap |
| 2019 | An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers. Tao Zheng, Bican Xia |
| 2019 | An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture. Elisabeth Gaar, Angelika Wiegele, Daniel Krenn, Susan Margulies |
| 2019 | Big Prime Field FFT on Multi-core Processors. Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang |
| 2019 | Certified Numerical Real Root Isolation for Bivariate Polynomial Systems. Jin-San Cheng, Junyi Wen |
| 2019 | Change of Basis for m-primary Ideals in One and Two Variables. Seung Gyu Hyun, Stephen Melczer, Éric Schost, Catherine St-Pierre |
| 2019 | Computing Hermite Normal Form Faster via Solving System of Linear Equations. Renzhang Liu, Yanbin Pan |
| 2019 | Computing Multipersistence by Means of Spectral Systems. Andrea Guidolin, Jose Divasón, Ana Romero, Francesco Vaccarino |
| 2019 | Computing a Lattice Basis Revisited. Jianwei Li, Phong Q. Nguyen |
| 2019 | Computing the Characteristic Polynomial of a Finite Rank Two Drinfeld Module. Yossef Musleh, Éric Schost |
| 2019 | Computing the Volume of Compact Semi-Algebraic Sets. Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din |
| 2019 | Deterministic Reduction of Integer Nonsingular Linear System Solving to Matrix Multiplication. Stavros Birmpilis, George Labahn, Arne Storjohann |
| 2019 | Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions. Michael A. Burr, Kisun Lee, Anton Leykin |
| 2019 | Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis. Juan Xu, Chee Yap |
| 2019 | Efficient Integer-Linear Decomposition of Multivariate Polynomials. Mark Giesbrecht, Hui Huang, George Labahn, Eugene V. Zima |
| 2019 | Efficiently Factoring Polynomials Modulo p4. Ashish Dwivedi, Rajat Mittal, Nitin Saxena |
| 2019 | Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials. Victor Magron, Henning Seidler, Timo de Wolff |
| 2019 | Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases. Shaoshi Chen, Lixin Du, Chaochao Zhu |
| 2019 | Generic Reductions for In-place Polynomial Multiplication. Pascal Giorgi, Bruno Grenet, Daniel S. Roche |
| 2019 | Gröbner Bases Over Tate Algebras. Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2019 | Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems. Matías R. Bender, Jean-Charles Faugère, Elias P. Tsigaridas |
| 2019 | Implementations of Efficient Univariate Polynomial Matrix Algorithms and Application to Bivariate Resultants. Seung Gyu Hyun, Vincent Neiger, Éric Schost |
| 2019 | Improved Structural Methods for Nonlinear Differential-Algebraic Equations via Combinatorial Relaxation. Taihei Oki |
| 2019 | Introduction of the MapDE Algorithm for Determination of Mappings Relating Differential Equations. Zahra Mohammadi, Gregory J. Reid, Tracy Shih-lung Huang |
| 2019 | Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang |
| 2019 | Krawtchouk Polynomials and Quadratic Semi-Regular Sequences. Stavros Kousidis |
| 2019 | LU Factorization with Errors. Jean-Guillaume Dumas, Joris van der Hoeven, Clément Pernet, Daniel S. Roche |
| 2019 | Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication. Virginia Vassilevska Williams |
| 2019 | Linear Algebra for Zero-Dimensional Ideals. Anna Maria Bigatti |
| 2019 | Linear Algebra, Old and New. Lorenzo Robbiano |
| 2019 | Linear Hensel Lifting for Fp[x, y] and Z[x] with Cubic Cost. Michael B. Monagan |
| 2019 | Monomial Resolutions for Efficient Computation of Simplicial Homology. Anna Maria Bigatti, Jónathan Heras, Eduardo Sáenz-de-Cabezón |
| 2019 | New Dependencies of Hierarchies in Polynomial Optimization. Adam Kurpisz, Timo de Wolff |
| 2019 | On Moment Problems with Holonomic Functions. Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre |
| 2019 | On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas. Zhenbing Zeng, Lu Yang, Lydia Dehbi |
| 2019 | Plantinga-Vegter Algorithm takes Average Polynomial Time. Felipe Cucker, Alperen Ali Ergür, Josué Tonelli-Cueto |
| 2019 | Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. James H. Davenport, Dongming Wang, Manuel Kauers, Russell J. Bradford |
| 2019 | Quadratic-Time Algorithms for Normal Elements. Mark Giesbrecht, Armin Jamshidpey, Éric Schost |
| 2019 | Simple Forms and Rational Solutions of Pseudo-Linear Systems. Moulay A. Barkatou, Thomas Cluzeau, Ali El-Hajj |
| 2019 | Sparse Polynomial Interpolation over Fields with Large or Zero Characteristic. Qiao-Long Huang |
| 2019 | Standard Lattices of Compatibly Embedded Finite Fields. Luca De Feo, Hugues Randriam, Édouard Rousseau |
| 2019 | Symbolic Integration of Hyperexponential 1-Forms. Thierry Combot |
| 2019 | Symmetry Preserving Interpolation. Erick Rodríguez Bazan, Evelyne Hubert |
| 2019 | The Art of Telescoping. William Y. C. Chen |
| 2019 | Verified Real Asymptotics in Isabelle/HOL. Manuel Eberl |