| 2017 | Rational Points on the Unit Sphere: Approximation Complexity and Practical Constructions. | Daniel Bahrdt, Martin P. Seybold |
| 2017 | Towards Generic Scalable Parallel Combinatorial Search. | Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule |
| 2017 | An Algorithm for Computing Minimal Associated Primes of Binomial Ideals without Producing Redundant Components. | Toru Aoyama |
| 2017 | On the Extended Hensel Construction and its Application to the Computation of Limit Points. | Parisa Alvandi, Masoud Ataei, Marc Moreno Maza |
| 2017 | Functional Decomposition Using Principal Subfields. | Luiz Emilio Allem, Juliane G. Capaverde, Mark van Hoeij, Jonas Szutkoski |
| 2017 | Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. | Erika brahm, Jasper Nalbach, Gereon Kremer |
| 2017 | New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. | John Abbott, Anna Maria Bigatti |
| 2016 | Contraction of Ore Ideals with Applications. | Yi Zhang |
| 2016 | Symbolic Summation in Difference Rings and Applications. | Carsten Schneider |
| 2016 | Algorithms for Simultaneous Pad Approximations. | Johan Sebastian Rosenkilde, Arne Storjohann |
| 2016 | Formal Algorithmic Elimination for PDEs. | Daniel Robertz |
| 2016 | Symbolic Computation with Integro-Differential Operators. | Georg Regensburger |
| 2016 | Symbolic Computation of Parameter Integrals. | Clemens G. Raab |
| 2016 | Algorithmic Operator Algebras via Normal Forms for Tensors. | Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger |
| 2016 | Computing with Quasiseparable Matrices. | Clment Pernet |
| 2016 | System of Partial Differential Equations for the Hypergeometric Function 1F1 of a Matrix Argument on Diagonal Regions. | Masayuki Noro |
| 2016 | Faster LLL-type Reduction of Lattice Bases. | Arnold Neumaier, Damien Stehl |
| 2016 | Fast Computation of Shifted Popov Forms of Polynomial Matrices via Systems of Modular Polynomial Equations. | Vincent Neiger |
| 2016 | Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic. | Simone Naldi |
| 2016 | Comprehensive Grbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions. | Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima |
| 2016 | Succinct Data Structures ... Potential for Symbolic Computation? | J. Ian Munro |
| 2016 | A Fast Algorithm for Computing the Truncated Resultant. | Guillaume Moroz, ric Schost |
| 2016 | Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. | Stephen Melczer, Bruno Salvy |
| 2016 | Positive Root Isolation for Poly-Powers. | Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li |
| 2016 | On p-Adic Differential Equations with Separation of Variables. | Pierre Lairez, Tristan Vaccon |