| 2013 | A new truncated fourier transform algorithm. Andrew Arnold |
| 2013 | A new view on HJLS and PSLQ: sums and projections of lattices. Jingwei Chen, Damien Stehlé, Gilles Villard |
| 2013 | A term rewriting system for the calculus of moving surfaces. Mark Boady, Pavel Grinfeld, Jeremy Johnson |
| 2013 | An explicit expression of the Lüroth invariant. Romain Basson, Reynald Lercier, Christophe Ritzenthaler, Jeroen Sijsling |
| 2013 | Approximately counting semismooth integers. Eric Bach, Jonathan P. Sorenson |
| 2013 | Calculation of the subgroups of a trivial-fitting group. Alexander Hulpke |
| 2013 | Certified symbolic manipulation: bivariate simplicial polynomials. Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina |
| 2013 | Combinatorics of 4-dimensional resultant polytopes. Alicia Dickenstein, Ioannis Z. Emiris, Vissarion Fisikopoulos |
| 2013 | Complexity estimates for two uncoupling algorithms. Alin Bostan, Frédéric Chyzak, Elie de Panafieu |
| 2013 | Computer algebra: a 32-year update. Stephen Wolfram |
| 2013 | Computing column bases of polynomial matrices. Wei Zhou, George Labahn |
| 2013 | Computing rational solutions of linear matrix inequalities. Qingdong Guo, Mohab Safey El Din, Lihong Zhi |
| 2013 | Computing the invariant structure of integer matrices: fast algorithms into practice. Colton Pauderis, Arne Storjohann |
| 2013 | Constructing a single open cell in a cylindrical algebraic decomposition. Christopher W. Brown |
| 2013 | Convex algebraic geometry and semidefinite optimization. Pablo A. Parrilo |
| 2013 | Creative telescoping for rational functions using the griffiths: dwork method. Alin Bostan, Pierre Lairez, Bruno Salvy |
| 2013 | Critical point methods and effective real algebraic geometry: new results and trends. Mohab Safey El Din |
| 2013 | Cylindrical algebraic decompositions for boolean combinations. Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson |
| 2013 | Desingularization explains order-degree curves for ore operators. Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer |
| 2013 | Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm. Viktor Levandovskyy, Grischa Studzinski, Benjamin Schnitzler |
| 2013 | Exact linear and integer programming: tutorial abstract. Daniel E. Steffy |
| 2013 | Factoring bivariate lacunary polynomials without heights. Arkadev Chattopadhyay, Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki |
| 2013 | Fast algorithms for Luca De Feo, Javad Doliskani, Éric Schost |
| 2013 | Finding hyperexponential solutions of linear ODEs by numerical evaluation. Fredrik Johansson, Manuel Kauers, Marc Mezzarobba |
| 2013 | Finding points on real solution components and applications to differential polynomial systems. Wenyuan Wu, Greg Reid |
| 2013 | From approximate factorization to root isolation. Kurt Mehlhorn, Michael Sagraloff, Pengming Wang |
| 2013 | Gröbner bases of ideals invariant under a commutative group: the non-modular case. Jean-Charles Faugère, Jules Svartz |
| 2013 | Hermite reduction and creative telescoping for hyperexponential functions. Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin |
| 2013 | Integrability conditions for parameterized linear difference equations. Mariya Bessonov, Alexey Ovchinnikov, Maxwell Shapiro |
| 2013 | Integration of unspecified functions and families of iterated integrals. Clemens G. Raab |
| 2013 | Interfacing mathemagix with C++. Joris van der Hoeven, Grégoire Lecerf |
| 2013 | International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013 Manuel Kauers |
| 2013 | Lattices with symmetry. Hendrik Lenstra |
| 2013 | Multiple GCDs. probabilistic analysis of the plain algorithm. Valérie Berthé, Jean Creusefond, Loïck Lhote, Brigitte Vallée |
| 2013 | Multivariate difference-differential dimension polynomials and new invariants of difference-differential field extensions. Alexander B. Levin |
| 2013 | On the boolean complexity of real root refinement. Victor Y. Pan, Elias P. Tsigaridas |
| 2013 | On the complexity of computing gröbner bases for quasi-homogeneous systems. Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron |
| 2013 | On the complexity of solving bivariate systems: the case of non-singular solutions. Romain Lebreton, Esmaeil Mehrabi, Éric Schost |
| 2013 | On the integration of differential fractions. François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz |
| 2013 | Quantum fourier transform over symmetric groups. Yasuhito Kawano, Hiroshi Sekigawa |
| 2013 | Rainbow cliques and the classification of small BLT-sets. Anton Betten |
| 2013 | Rational univariate representations of bivariate systems and applications. Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier |
| 2013 | Second order differential equations with hypergeometric solutions of degree three. Vijay Jung Kunwar, Mark van Hoeij |
| 2013 | Separating linear forms for bivariate systems. Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier |
| 2013 | Signature rewriting in gröbner basis computation. Christian Eder, Bjarke Hammersholt Roune |
| 2013 | Simultaneous computation of the row and column rank profiles. Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan |
| 2013 | Solving equations with size constraints for the solutions. Henry Cohn |
| 2013 | Sparse difference resultant. Wei Li, Chun-Ming Yuan, Xiao-Shan Gao |
| 2013 | Sparse multivariate function recovery from values with noise and outlier errors. Erich L. Kaltofen, Zhengfeng Yang |
| 2013 | Structured FFT and TFT: symmetric and lattice polynomials. Joris van der Hoeven, Romain Lebreton, Éric Schost |
| 2013 | Sub-linear root detection, and new hardness results, for sparse polynomials over finite fields. Jingguo Bi, Qi Cheng, J. Maurice Rojas |
| 2013 | Termination conditions for positivity proving procedures. Veronika Pillwein |
| 2013 | The complexity of factoring univariatepolynomials over the rationals: tutorial abstract. Mark van Hoeij |
| 2013 | The termination of the F5 algorithm revisited. Senshan Pan, Yupu Hu, Baocang Wang |
| 2013 | Verified error bounds for real solutions of positive-dimensional polynomial systems. Zhengfeng Yang, Lihong Zhi, Yijun Zhu |