| 2017 | Parametrizations for Families of ECM-Friendly Curves. | Alexandre Glin, Thorsten Kleinjung, Arjen K. Lenstra |
| 2017 | Reconstruction Algorithms for Sums of Affine Powers. | Ignacio Garca-Marco, Pascal Koiran, Timothe Pecatte |
| 2017 | Integration of SMT-LIB Support into Maple. | Stephen Forrest |
| 2017 | Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language. | Claus Fieker, William Hart, Tommy Hofmann, Fredrik Johansson |
| 2017 | Preface. | Matthew England, Vijay Ganesh |
| 2017 | Matrix Representations by Means of Interpolation. | Ioannis Z. Emiris, Christos Konaxis, Ilias S. Kotsireas, Clment Laroche |
| 2017 | On Signature-Based Grbner Bases Over Euclidean Rings. | Christian Eder, Gerhard Pfister, Adrian Popescu |
| 2017 | Certificates for Triangular Equivalence and Rank Profiles. | Jean-Guillaume Dumas, David Lucas, Clment Pernet |
| 2017 | Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. | Jean-Guillaume Dumas, Erich L. Kaltofen, Gilles Villard, Lihong Zhi |
| 2017 | Gcd Modulo a Primary Triangular Set of Dimension Zero. | Xavier Dahan |
| 2017 | Linear Time Fourier Transforms of | Michael Clausen, Paul Hhne |
| 2017 | Criteria for Finite Difference Grbner Bases of Normal Binomial Difference Ideals. | Yu-Ao Chen, Xiao-Shan Gao |
| 2017 | Big Prime Field FFT on the GPU. | Liangyu Chen, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza |
| 2017 | Characteristic Polynomials of p-adic Matrices. | Xavier Caruso, David Roe, Tristan Vaccon |
| 2017 | Fast Multiplication for Skew Polynomials. | Xavier Caruso, Jrmy Le Borgne |
| 2017 | Discriminants of Complete Intersection Space Curves. | Laurent Bus, Ibrahim Nonkan |
| 2017 | The Complexity of an Adaptive Subdivision Method for Approximating Real Curves. | Michael A. Burr, Shuhong Gao, Elias P. Tsigaridas |
| 2017 | Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition. | Christopher W. Brown |
| 2017 | Benchmarking Solvers, SAT-style. | Martin Brain, James H. Davenport, Alberto Griggio |
| 2017 | A Case Study on the Parametric Occurrence of Multiple Steady States. | Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber |
| 2017 | Parallel Sparse PLUQ Factorization modulo p. | Charles Bouillaguet, Claire Delaplace, Marie-Emilie Voge |
| 2017 | Calculating the Power Residue Symbol and Ibeta: Applications of Computing the Group Structure of the Principal Units of a p-adic Number Field Completion. | Koen de Boer, Carlo Pagano |
| 2017 | Parallel Fast Mbius (Reed-Muller) Transform and its Implementation with CUDA on GPUs. | Dusan Bikov, Iliya Bouyukliev |
| 2017 | Irreducibility and Deterministic r-th Root Finding over Finite Fields. | Vishwas Bhargava, Gbor Ivanyos, Rajat Mittal, Nitin Saxena |
| 2017 | Linnea: Compiling Linear Algebra Expressions to High-Performance Code. | Henrik Barthels, Paolo Bientinesi |