| 2017 | A New Algorithm for General Factorizations of Multivariate Polynomial Matrices. | Dong Lu, Xiaodong Ma, Dingkang Wang |
| 2017 | Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension. | Hongbo Li, Zhang Li, Yang Li |
| 2017 | Automated Geometric Reasoning with Geometric Algebra: Theory and Practice. | Hongbo Li |
| 2017 | The Truncated Fourier Transform for Mixed Radices. | Robin Larrieu |
| 2017 | Compiler auto-vectorization of matrix multiplication modulo small primes. | Matthew A. Lambert, B. David Saunders |
| 2017 | Popov Form Computation for Matrices of Ore Polynomials. | Mohamed Khochtali, Johan Rosenkilde, Arne Storjohann |
| 2017 | Bounds for Substituting Algebraic Functions into D-finite Functions. | Manuel Kauers, Gleb Pogudin |
| 2017 | Nonlinear Polynomials, Interpolants and Invariant Generation for System Analysis. | Deepak Kapur |
| 2017 | Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction. | Erich L. Kaltofen, Clment Pernet, Arne Storjohann, Cleveland Waddell |
| 2017 | Computing the Integer Points of a Polyhedron. | Rui-Juan Jing, Marc Moreno Maza |
| 2017 | Efficiently Computing Real Roots of Sparse Polynomials. | Gorav Jindal, Michael Sagraloff |
| 2017 | Computing Tropical Prevarieties in Parallel. | Anders Nedergaard Jensen, Jeff Sommars, Jan Verschelde |
| 2017 | Formula Simplification for Real Quantifier Elimination Using Geometric Invariance. | Hidenao Iwane, Hirokazu Anai |
| 2017 | Algorithms for Structured Linear Systems Solving and Their Implementation. | Seung Gyu Hyun, Romain Lebreton, ric Schost |
| 2017 | Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. | Andreas Humenberger, Maximilian Jaroschek, Laura Kovcs |
| 2017 | On Conversions from CNF to ANF. | Jan Horcek, Martin Kreuzer |
| 2017 | A Constructive Approach to Arithmetics in Ore Localizations. | Johannes Hoffmann, Viktor Levandovskyy |
| 2017 | Composition Modulo Powers of Polynomials. | Joris van der Hoeven, Grgoire Lecerf |
| 2017 | The Frobenius FFT. | Joris van der Hoeven, Robin Larrieu |
| 2017 | Closed Form Solutions for Linear Differential and Difference Equations. | Mark van Hoeij |
| 2017 | High Performance Computing Experiments in Enumerative and Algebraic Combinatorics. | Florent Hivert |
| 2017 | Dimension-Dependent Upper Bounds for Grbner Bases. | Amir Hashemi, Werner M. Seiler |
| 2017 | Plain, and Somehow Sparse, Univariate Polynomial Division on Graphics Processing Units. | Sardar Anisul Haque, Amir Hashemi, Davood Mohajerani, Marc Moreno Maza |
| 2017 | An Algebraic-Geometric Method for Computing Zolotarev Polynomials. | Georg Grasegger, Thieu N. Vo |
| 2017 | Computing the Nearest Rank-Deficient Matrix Polynomial. | Mark Giesbrecht, Joseph Haraldson, George Labahn |