| 2014 | Fast arithmetic for the algebraic closure of finite fields. | Luca De Feo, Javad Doliskani, ric Schost |
| 2014 | Sparse Grbner bases: the unmixed case. | Jean-Charles Faugre, Pierre-Jean Spaenlehauer, Jules Svartz |
| 2014 | Sub-cubic change of ordering for Grbner basis: a probabilistic approach. | Jean-Charles Faugre, Pierrick Gaudry, Louise Huot, Gunal Renault |
| 2014 | Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). | Madalina Erascu, Hoon Hong |
| 2014 | Root counts of semi-mixed systems, and an application to counting nash equilibria. | Ioannis Z. Emiris, Raimundas Vidunas |
| 2014 | Essentially optimal interactive certificates in linear algebra. | Jean-Guillaume Dumas, Erich L. Kaltofen |
| 2014 | Logspace computations in graph products. | Volker Diekert, Jonathan Kausch |
| 2014 | On the computation of the topology of plane curves. | Daouda Niang Diatta, Fabrice Rouillier, Marie-Franoise Roy |
| 2014 | The asymptotic analysis of some interpolated nonlinear recurrence relations. | Robert M. Corless, David J. Jeffrey, Fei Wang |
| 2014 | Quantifier elimination by cylindrical algebraic decomposition based on regular chains. | Changbo Chen, Marc Moreno Maza |
| 2014 | A generalized Apagodu-Zeilberger algorithm. | Shaoshi Chen, Manuel Kauers, Christoph Koutschan |
| 2014 | Parallel telescoping and parameterized Picard-Vessiot theory. | Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer |
| 2014 | Solving higher order linear differential equations having elliptic function coefficients. | Reinhold Burger |
| 2014 | Improved algorithm for computing separating linear forms for bivariate systems. | Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier |
| 2014 | A fast algorithm for computing the characteristic polynomial of the p-curvature. | Alin Bostan, Xavier Caruso, ric Schost |
| 2014 | Computing necessary integrability conditions for planar parametrized homogeneous potentials. | Alin Bostan, Thierry Combot, Mohab Safey El Din |
| 2014 | A new deterministic algorithm for sparse multivariate polynomial interpolation. | Markus Blser, Gorav Jindal |
| 2014 | Computing the differential Galois group of a parameterized second-order linear differential equation. | Carlos E. Arreche |
| 2014 | Multivariate sparse interpolation using randomized Kronecker substitutions. | Andrew Arnold, Daniel S. Roche |
| 2014 | Sparse interpolation over finite fields via low-order roots of unity. | Andrew Arnold, Mark Giesbrecht, Daniel S. Roche |
| 2014 | Mathematics by machine. | Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai |
| 2014 | Effective quantifier elimination for industrial applications. | Hirokazu Anai |
| 2013 | Computing column bases of polynomial matrices. | Wei Zhou, George Labahn |
| 2013 | Verified error bounds for real solutions of positive-dimensional polynomial systems. | Zhengfeng Yang, Lihong Zhi, Yijun Zhu |
| 2013 | Finding points on real solution components and applications to differential polynomial systems. | Wenyuan Wu, Greg Reid |