| 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 | A Constructive Approach to Arithmetics in Ore Localizations. Johannes Hoffmann, Viktor Levandovskyy |
| 2017 | A New Algorithm for General Factorizations of Multivariate Polynomial Matrices. Dong Lu, Xiaodong Ma, Dingkang Wang |
| 2017 | A Tropical F5 Algorithm. Tristan Vaccon, Kazuhiro Yokoyama |
| 2017 | Algorithmic Approaches for Lattice Path Combinatorics. Marni Mishna |
| 2017 | Algorithmic Verification of Linearizability for Ordinary Differential Equations. Dmitry A. Lyakhov, Vladimir P. Gerdt, Dominik L. Michels |
| 2017 | Algorithms for Structured Linear Systems Solving and Their Implementation. Seung Gyu Hyun, Romain Lebreton, Éric Schost |
| 2017 | An Algebraic-Geometric Method for Computing Zolotarev Polynomials. Georg Grasegger, Thieu N. Vo |
| 2017 | An Algorithm for Computing Minimal Associated Primes of Binomial Ideals without Producing Redundant Components. Toru Aoyama |
| 2017 | Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. Andreas Humenberger, Maximilian Jaroschek, Laura Kovács |
| 2017 | Automated Geometric Reasoning with Geometric Algebra: Theory and Practice. Hongbo Li |
| 2017 | Big Prime Field FFT on the GPU. Liangyu Chen, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza |
| 2017 | Bounds for Substituting Algebraic Functions into D-finite Functions. Manuel Kauers, Gleb Pogudin |
| 2017 | CAD Adjacency Computation Using Validated Numerics. Adam W. Strzebonski |
| 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 | Certificates for Triangular Equivalence and Rank Profiles. Jean-Guillaume Dumas, David Lucas, Clément Pernet |
| 2017 | Characteristic Polynomials of p-adic Matrices. Xavier Caruso, David Roe, Tristan Vaccon |
| 2017 | Closed Form Solutions for Linear Differential and Difference Equations. Mark van Hoeij |
| 2017 | Composition Modulo Powers of Polynomials. Joris van der Hoeven, Grégoire Lecerf |
| 2017 | Computing Canonical Bases of Modules of Univariate Relations. Vincent Neiger, Thi Xuan Vu |
| 2017 | Computing the Nearest Rank-Deficient Matrix Polynomial. Mark Giesbrecht, Joseph Haraldson, George Labahn |
| 2017 | Computing with Arithmetic Groups. Gabriele Nebe |
| 2017 | Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals. Yu-Ao Chen, Xiao-Shan Gao |
| 2017 | Denominator Bounds and Polynomial Solutions for Systems of q-Recurrences over K(t) for Constant K. Johannes Middeke |
| 2017 | Dimension-Dependent Upper Bounds for Gröbner Bases. Amir Hashemi, Werner M. Seiler |
| 2017 | Discriminants of Complete Intersection Space Curves. Laurent Busé, Ibrahim Nonkané |
| 2017 | Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction. Erich L. Kaltofen, Clément Pernet, Arne Storjohann, Cleveland Waddell |
| 2017 | Efficiently Computing Real Roots of Sparse Polynomials. Gorav Jindal, Michael Sagraloff |
| 2017 | Exploring the Dynamic Buchberger Algorithm. John Perry |
| 2017 | Factorization of Polynomials over Z/(p Carlo Sircana |
| 2017 | Fast Algorithm for Border Bases of Artinian Gorenstein Algebras. Bernard Mourrain |
| 2017 | Fast Computation of the Roots of Polynomials Over the Ring of Power Series. Vincent Neiger, Johan Rosenkilde, Éric Schost |
| 2017 | Fast Multiplication for Skew Polynomials. Xavier Caruso, Jérémy Le Borgne |
| 2017 | Formula Simplification for Real Quantifier Elimination Using Geometric Invariance. Hidenao Iwane, Hirokazu Anai |
| 2017 | Functional Decomposition Using Principal Subfields. Luiz Emilio Allem, Juliane G. Capaverde, Mark van Hoeij, Jonas Szutkoski |
| 2017 | Gcd Modulo a Primary Triangular Set of Dimension Zero. Xavier Dahan |
| 2017 | Growth in Varieties of Multioperator Algebras and Groebner Bases in Operads. Dmitri Piontkovski |
| 2017 | Improved Bounds on Absolute Positiveness of Multivariate Polynomials. Swaroop N. Prabhakar, Vikram Sharma |
| 2017 | Irreducibility and Deterministic r-th Root Finding over Finite Fields. Vishwas Bhargava, Gábor Ivanyos, Rajat Mittal, Nitin Saxena |
| 2017 | Lattice Reduction Algorithms. Damien Stehlé |
| 2017 | Linear Time Fourier Transforms of Michael Clausen, Paul Hühne |
| 2017 | M4GB: An Efficient Gröbner-Basis Algorithm. Rusydi H. Makarim, Marc Stevens |
| 2017 | Matrix Representations by Means of Interpolation. Ioannis Z. Emiris, Christos Konaxis, Ilias S. Kotsireas, Clément Laroche |
| 2017 | Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language. Claus Fieker, William Hart, Tommy Hofmann, Fredrik Johansson |
| 2017 | On Signature-Based Gröbner Bases Over Euclidean Rings. Christian Eder, Gerhard Pfister, Adrian Popescu |
| 2017 | On the Extended Hensel Construction and its Application to the Computation of Limit Points. Parisa Alvandi, Masoud Ataei, Marc Moreno Maza |
| 2017 | Parametric Greatest Common Divisors using Comprehensive Gröbner Systems. Kosaku Nagasaka |
| 2017 | Parametrizations for Families of ECM-Friendly Curves. Alexandre Gélin, Thorsten Kleinjung, Arjen K. Lenstra |
| 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 | Popov Form Computation for Matrices of Ore Polynomials. Mohamed Khochtali, Johan Rosenkilde, Arne Storjohann |
| 2017 | Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017 Michael A. Burr, Chee K. Yap, Mohab Safey El Din |
| 2017 | Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition. Christopher W. Brown |
| 2017 | Rational Points on the Unit Sphere: Approximation Complexity and Practical Constructions. Daniel Bahrdt, Martin P. Seybold |
| 2017 | Reconstruction Algorithms for Sums of Affine Powers. Ignacio García-Marco, Pascal Koiran, Timothée Pecatte |
| 2017 | Resultants and Discriminants for Bivariate Tensor-Product Polynomials. Angelos Mantzaflaris, Elias P. Tsigaridas |
| 2017 | Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension. Hongbo Li, Zhang Li, Yang Li |
| 2017 | Sparse Rational Univariate Representation. Angelos Mantzaflaris, Éric Schost, Elias P. Tsigaridas |
| 2017 | The Complexity of an Adaptive Subdivision Method for Approximating Real Curves. Michael A. Burr, Shuhong Gao, Elias P. Tsigaridas |
| 2017 | The Frobenius FFT. Joris van der Hoeven, Robin Larrieu |
| 2017 | The Truncated Fourier Transform for Mixed Radices. Robin Larrieu |
| 2017 | The Zero Problem for Exponential Polynomials. James Worrell |
| 2017 | Two Fast Parallel GCD Algorithms of Many Integers. Sidi Mohamed Sedjelmaci |