| 2013 | Grbner bases of ideals invariant under a commutative group: the non-modular case. | Jean-Charles Faugre, Jules Svartz |
| 2013 | On the complexity of computing grbner bases for quasi-homogeneous systems. | Jean-Charles Faugre, Mohab Safey El Din, Thibaut Verron |
| 2013 | Signature rewriting in grbner basis computation. | Christian Eder, Bjarke Hammersholt Roune |
| 2013 | Simultaneous computation of the row and column rank profiles. | Jean-Guillaume Dumas, Clment Pernet, Ziad Sultan |
| 2013 | Critical point methods and effective real algebraic geometry: new results and trends. | Mohab Safey El Din |
| 2013 | Combinatorics of 4-dimensional resultant polytopes. | Alicia Dickenstein, Ioannis Z. Emiris, Vissarion Fisikopoulos |
| 2013 | Solving equations with size constraints for the solutions. | Henry Cohn |
| 2013 | A new view on HJLS and PSLQ: sums and projections of lattices. | Jingwei Chen, Damien Stehl, Gilles Villard |
| 2013 | Desingularization explains order-degree curves for ore operators. | Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer |
| 2013 | Factoring bivariate lacunary polynomials without heights. | Arkadev Chattopadhyay, Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki |
| 2013 | Constructing a single open cell in a cylindrical algebraic decomposition. | Christopher W. Brown |
| 2013 | Cylindrical algebraic decompositions for boolean combinations. | Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson |
| 2013 | Separating linear forms for bivariate systems. | Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier |
| 2013 | Rational univariate representations of bivariate systems and applications. | Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier |
| 2013 | On the integration of differential fractions. | Franois Boulier, Franois Lemaire, Georg Regensburger, Markus Rosenkranz |
| 2013 | Creative telescoping for rational functions using the griffiths: dwork method. | Alin Bostan, Pierre Lairez, Bruno Salvy |
| 2013 | Complexity estimates for two uncoupling algorithms. | Alin Bostan, Frdric Chyzak, Elie de Panafieu |
| 2013 | Hermite reduction and creative telescoping for hyperexponential functions. | Alin Bostan, Shaoshi Chen, Frdric Chyzak, Ziming Li, Guoce Xin |
| 2013 | A term rewriting system for the calculus of moving surfaces. | Mark Boady, Pavel Grinfeld, Jeremy Johnson |
| 2013 | Sub-linear root detection, and new hardness results, for sparse polynomials over finite fields. | Jingguo Bi, Qi Cheng, J. Maurice Rojas |
| 2013 | Rainbow cliques and the classification of small BLT-sets. | Anton Betten |
| 2013 | Integrability conditions for parameterized linear difference equations. | Mariya Bessonov, Alexey Ovchinnikov, Maxwell Shapiro |
| 2013 | Multiple GCDs. probabilistic analysis of the plain algorithm. | Valrie Berth, Jean Creusefond, Lock Lhote, Brigitte Valle |
| 2013 | An explicit expression of the Lroth invariant. | Romain Basson, Reynald Lercier, Christophe Ritzenthaler, Jeroen Sijsling |
| 2013 | Approximately counting semismooth integers. | Eric Bach, Jonathan P. Sorenson |