| 2018 | Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set. | Didier Henrion, Simone Naldi, Mohab Safey El Din |
| 2018 | Effective Computation of Generalized Spectral Sequences. | Andrea Guidolin, Ana Romero |
| 2018 | Computing Free Distances of Idempotent Convolutional Codes. | Jos Gmez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro |
| 2018 | Certification of Minimal Approximant Bases. | Pascal Giorgi, Vincent Neiger |
| 2018 | Computing Nearby Non-trivial Smith Forms. | Mark Giesbrecht, Joseph Haraldson, George Labahn |
| 2018 | Polynomial Equivalence Problems for Sum of Affine Powers. | Ignacio Garca-Marco, Pascal Koiran, Timothe Pecatte |
| 2018 | Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix. | Jean-Guillaume Dumas, Clment Pernet |
| 2018 | On the Complexity of Computing Real Radicals of Polynomial Systems. | Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi |
| 2018 | A Symplectic Kovacic's Algorithm in Dimension 4. | Thierry Combot, Camilo Sanabria |
| 2018 | Computing an LLL-reduced Basis of the Orthogonal Latice. | Jingwei Chen, Damien Stehl, Gilles Villard |
| 2018 | Additive Decompositions in Primitive Extensions. | Shaoshi Chen, Hao Du, Ziming Li |
| 2018 | Fast Algorithms for Displacement and Low-Rank Structured Matrices. | Shivkumar Chandrasekaran, Nithin Govindarajan, Abhejit Rajagopal |
| 2018 | ZpL: a p-adic Precision Package. | Xavier Caruso, David Roe, Tristan Vaccon |
| 2018 | Enumeration of Complex Golay Pairs via Programmatic SAT. | Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh |
| 2018 | A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems. | Florent Brhard |
| 2018 | Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. | Alin Bostan, Frdric Chyzak, Pierre Lairez, Bruno Salvy |
| 2018 | Monodromy Solver: Sequential and Parallel. | Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars |
| 2018 | A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations. | Jrmy Berthomieu, Jean-Charles Faugre |
| 2018 | Towards Mixed Grbner Basis Algorithms: the Multihomogeneous and Sparse Case. | Matas R. Bender, Jean-Charles Faugre, Elias P. Tsigaridas |
| 2018 | Bilinear Systems with Two Supports: Koszul Resultant Matrices, Eigenvalues, and Eigenvectors. | Matas R. Bender, Jean-Charles Faugre, Angelos Mantzaflaris, Elias P. Tsigaridas |
| 2018 | On the Maximal Number of Real Embeddings of Spatial Minimally Rigid Graphs. | Evangelos Bartzos, Ioannis Z. Emiris, Jan Legersk, Elias P. Tsigaridas |
| 2018 | A New Approach for Formal Reduction of Singular Linear Differential Systems Using Eigenrings. | Moulay A. Barkatou, Joelle Saad, Jacques-Arthur Weil |
| 2018 | Desingularization of First Order Linear Difference Systems with Rational Function Coefficients. | Moulay A. Barkatou, Maximilian Jaroschek |
| 2018 | Modular Algorithms for Computing Minimal Associated Primes and Radicals of Polynomial Ideals. | Toru Aoyama, Masayuki Noro |
| 2017 | The Zero Problem for Exponential Polynomials. | James Worrell |