| 2017 | Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. | Tarik Viehmann, Gereon Kremer, Erika brahm |
| 2017 | A Tropical F5 Algorithm. | Tristan Vaccon, Kazuhiro Yokoyama |
| 2017 | CAD Adjacency Computation Using Validated Numerics. | Adam W. Strzebonski |
| 2017 | Lattice Reduction Algorithms. | Damien Stehl |
| 2017 | Factorization of Polynomials over Z/(p | Carlo Sircana |
| 2017 | Two Fast Parallel GCD Algorithms of Many Integers. | Sidi Mohamed Sedjelmaci |
| 2017 | Cache-oblivious Matrix Multiplication for Exact TU Factorisation. | Fatima K. Abu Salem, Mira Al Arab |
| 2017 | Improved Bounds on Absolute Positiveness of Multivariate Polynomials. | Swaroop N. Prabhakar, Vikram Sharma |
| 2017 | Growth in Varieties of Multioperator Algebras and Groebner Bases in Operads. | Dmitri Piontkovski |
| 2017 | Exploring the Dynamic Buchberger Algorithm. | John Perry |
| 2017 | Meataxe64: High performance linear algebra over finite fields. | Richard Parker |
| 2017 | Computing Canonical Bases of Modules of Univariate Relations. | Vincent Neiger, Thi Xuan Vu |
| 2017 | Fast Computation of the Roots of Polynomials Over the Ring of Power Series. | Vincent Neiger, Johan Rosenkilde, ric Schost |
| 2017 | Computing with Arithmetic Groups. | Gabriele Nebe |
| 2017 | Parametric Greatest Common Divisors using Comprehensive Grbner Systems. | Kosaku Nagasaka |
| 2017 | Fast Algorithm for Border Bases of Artinian Gorenstein Algebras. | Bernard Mourrain |
| 2017 | Fast Parallel Multi-point Evaluation of Sparse Polynomials. | Michael B. Monagan, Alan Wong |
| 2017 | An Algorithm For Spliting Polynomial Systems Based On F4. | Michael B. Monagan, Roman Pearce |
| 2017 | Algorithmic Approaches for Lattice Path Combinatorics. | Marni Mishna |
| 2017 | Denominator Bounds and Polynomial Solutions for Systems of q-Recurrences over K(t) for Constant K. | Johannes Middeke |
| 2017 | Multithreaded programming on the GPU: pointers and hints for the computer algebraist. | Marc Moreno Maza |
| 2017 | Resultants and Discriminants for Bivariate Tensor-Product Polynomials. | Angelos Mantzaflaris, Elias P. Tsigaridas |
| 2017 | Sparse Rational Univariate Representation. | Angelos Mantzaflaris, ric Schost, Elias P. Tsigaridas |
| 2017 | M4GB: An Efficient Grbner-Basis Algorithm. | Rusydi H. Makarim, Marc Stevens |
| 2017 | Algorithmic Verification of Linearizability for Ordinary Differential Equations. | Dmitry A. Lyakhov, Vladimir P. Gerdt, Dominik L. Michels |