| 2016 | A Factorization Algorithm for G-Algebras and Applications. Albert Heinle, Viktor Levandovskyy |
| 2016 | A Fast Algorithm for Computing the Truncated Resultant. Guillaume Moroz, Éric Schost |
| 2016 | A Fast Parallel Sparse Polynomial GCD Algorithm. Jiaxiong Hu, Michael B. Monagan |
| 2016 | A Superfast Randomized Algorithm to Decompose Binary Forms. Matías R. Bender, Jean-Charles Faugère, Ludovic Perret, Elias P. Tsigaridas |
| 2016 | Algorithmic Operator Algebras via Normal Forms for Tensors. Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger |
| 2016 | Algorithms for Simultaneous Padé Approximations. Johan Sebastian Rosenkilde, Arne Storjohann |
| 2016 | Analysis of the Brun Gcd Algorithm. Valérie Berthé, Loïck Lhote, Brigitte Vallée |
| 2016 | Baby-Step Giant-Step Algorithms for the Symmetric Group. Eric Bach, Bryce Sandlund |
| 2016 | Bounds for Orders of Derivatives in Differential Elimination Algorithms. Richard Gustavson, Alexey Ovchinnikov, Gleb Pogudin |
| 2016 | Compact Formulae in Sparse Elimination. Ioannis Z. Emiris |
| 2016 | Complexity Analysis of Root Clustering for a Complex Polynomial. Ruben Becker, Michael Sagraloff, Vikram Sharma, Juan Xu, Chee Yap |
| 2016 | Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions. Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima |
| 2016 | Computation of the Similarity Class of the p-Curvature. Alin Bostan, Xavier Caruso, Éric Schost |
| 2016 | Computer Assisted Proof for Apwenian Sequences. Hao Fu, Guo-Niu Han |
| 2016 | Computing Limits of Real Multivariate Rational Functions. Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza |
| 2016 | Computing Real Roots of Real Polynomials ... and now For Real! Alexander Kobel, Fabrice Rouillier, Michael Sagraloff |
| 2016 | Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems. Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz |
| 2016 | Computing the Lie Algebra of the Differential Galois Group of a Linear Differential System. Moulay A. Barkatou, Thomas Cluzeau, Jacques-Arthur Weil, Lucia Di Vizio |
| 2016 | Computing with Quasiseparable Matrices. Clément Pernet |
| 2016 | Constructing Small Generating Sets for the Multiplicative Groups of Algebras over Finite Fields. Ming-Deh A. Huang, Lian Liu |
| 2016 | Contraction of Ore Ideals with Applications. Yi Zhang |
| 2016 | Critical Point Computations on Smooth Varieties: Degree and Complexity Bounds. Mohab Safey El Din, Pierre-Jean Spaenlehauer |
| 2016 | Detecting Similarities of Rational Space Curves. Juan Gerardo Alcázar, Carlos Hermoso, Georg Muntingh |
| 2016 | Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery. Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron |
| 2016 | Division and Slope Factorization of p-Adic Polynomials. Xavier Caruso, David Roe, Tristan Vaccon |
| 2016 | Efficient Algorithms for Mixed Creative Telscoping. Alin Bostan, Louis Dumont, Bruno Salvy |
| 2016 | Equivariant Gröbner Bases of Symmetric Toric Ideals. Robert Krone |
| 2016 | Existence Problem of Telescopers: Beyond the Bivariate Case. Shaoshi Chen, Qing-Hu Hou, George Labahn, Rong-Hua Wang |
| 2016 | Fast Computation of Minimal Interpolation Bases in Popov Form for Arbitrary Shifts. Claude-Pierre Jeannerod, Vincent Neiger, Éric Schost, Gilles Villard |
| 2016 | Fast Computation of Shifted Popov Forms of Polynomial Matrices via Systems of Modular Polynomial Equations. Vincent Neiger |
| 2016 | Fast Computation of the Nth Term of an Algebraic Series over a Finite Prime Field. Alin Bostan, Gilles Christol, Philippe Dumas |
| 2016 | Fast Fourier Orthogonalization. Léo Ducas, Thomas Prest |
| 2016 | Fast Polynomial Multiplication over F David Harvey, Joris van der Hoeven, Grégoire Lecerf |
| 2016 | Faster LLL-type Reduction of Lattice Bases. Arnold Neumaier, Damien Stehlé |
| 2016 | Formal Algorithmic Elimination for PDEs. Daniel Robertz |
| 2016 | GBLA: Gröbner Basis Linear Algebra Package. Brice Boyer, Christian Eder, Jean-Charles Faugère, Sylvian Lachartre, Fayssal Martani |
| 2016 | Guessing Linear Recurrence Relations of Sequence Tuplesand P-recursive Sequences with Linear Algebra. Jérémy Berthomieu, Jean-Charles Faugère |
| 2016 | Infinitely Many Carmichael Numbers for a Modified Miller-Rabin Prime Test. Eric Bach, Rex D. Fernando |
| 2016 | Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. Jean-Guillaume Dumas, Erich L. Kaltofen, Emmanuel Thomé, Gilles Villard |
| 2016 | New Bounds for Hypergeometric Creative Telescoping. Hui Huang |
| 2016 | Numerical Sparsity Determination and Early Termination. Zhiwei Hao, Erich L. Kaltofen, Lihong Zhi |
| 2016 | On p-Adic Differential Equations with Separation of Variables. Pierre Lairez, Tristan Vaccon |
| 2016 | On the Bit Complexity of Solving Bilinear Polynomial Systems. Ioannis Z. Emiris, Angelos Mantzaflaris, Elias P. Tsigaridas |
| 2016 | On the Complexity of Solving Zero-Dimensional Polynomial Systems via Projection. Cornelius Brand, Michael Sagraloff |
| 2016 | Positive Root Isolation for Poly-Powers. Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li |
| 2016 | Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016 Sergei A. Abramov, Eugene V. Zima, Xiao-Shan Gao |
| 2016 | Reduction-Based Creative Telescoping for Algebraic Functions. Shaoshi Chen, Manuel Kauers, Christoph Koutschan |
| 2016 | Selecting Algorithms for Black Box Matrices: Checking For Matrix Properties That Can Simplify Computations. Wayne Eberly |
| 2016 | Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms. Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra |
| 2016 | Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic. Simone Naldi |
| 2016 | Succinct Data Structures ... Potential for Symbolic Computation? J. Ian Munro |
| 2016 | Symbolic Computation of Parameter Integrals. Clemens G. Raab |
| 2016 | Symbolic Computation with Integro-Differential Operators. Georg Regensburger |
| 2016 | Symbolic Summation in Difference Rings and Applications. Carsten Schneider |
| 2016 | Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. Stephen Melczer, Bruno Salvy |
| 2016 | System of Partial Differential Equations for the Hypergeometric Function 1F1 of a Matrix Argument on Diagonal Regions. Masayuki Noro |
| 2016 | Validating the Completeness of the Real Solution Set of a System of Polynomial Equations. Daniel A. Brake, Jonathan D. Hauenstein, Alan C. Liddell Jr. |