| 2013 | Computer algebra: a 32-year update. | Stephen Wolfram |
| 2013 | Exact linear and integer programming: tutorial abstract. | Daniel E. Steffy |
| 2013 | Integration of unspecified functions and families of iterated integrals. | Clemens G. Raab |
| 2013 | Termination conditions for positivity proving procedures. | Veronika Pillwein |
| 2013 | Computing the invariant structure of integer matrices: fast algorithms into practice. | Colton Pauderis, Arne Storjohann |
| 2013 | Convex algebraic geometry and semidefinite optimization. | Pablo A. Parrilo |
| 2013 | On the boolean complexity of real root refinement. | Victor Y. Pan, Elias P. Tsigaridas |
| 2013 | The termination of the F5 algorithm revisited. | Senshan Pan, Yupu Hu, Baocang Wang |
| 2013 | From approximate factorization to root isolation. | Kurt Mehlhorn, Michael Sagraloff, Pengming Wang |
| 2013 | Sparse difference resultant. | Wei Li, Chun-Ming Yuan, Xiao-Shan Gao |
| 2013 | Multivariate difference-differential dimension polynomials and new invariants of difference-differential field extensions. | Alexander B. Levin |
| 2013 | Enhanced computations of grbner bases in free algebras as a new application of the letterplace paradigm. | Viktor Levandovskyy, Grischa Studzinski, Benjamin Schnitzler |
| 2013 | Lattices with symmetry. | Hendrik Lenstra |
| 2013 | On the complexity of solving bivariate systems: the case of non-singular solutions. | Romain Lebreton, Esmaeil Mehrabi, ric Schost |
| 2013 | Certified symbolic manipulation: bivariate simplicial polynomials. | Laureano Lambn, Francisco-Jess Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 2013 | Second order differential equations with hypergeometric solutions of degree three. | Vijay Jung Kunwar, Mark van Hoeij |
| 2013 | Quantum fourier transform over symmetric groups. | Yasuhito Kawano, Hiroshi Sekigawa |
| 2013 | Sparse multivariate function recovery from values with noise and outlier errors. | Erich L. Kaltofen, Zhengfeng Yang |
| 2013 | Finding hyperexponential solutions of linear ODEs by numerical evaluation. | Fredrik Johansson, Manuel Kauers, Marc Mezzarobba |
| 2013 | Calculation of the subgroups of a trivial-fitting group. | Alexander Hulpke |
| 2013 | Structured FFT and TFT: symmetric and lattice polynomials. | Joris van der Hoeven, Romain Lebreton, ric Schost |
| 2013 | Interfacing mathemagix with C++. | Joris van der Hoeven, Grgoire Lecerf |
| 2013 | The complexity of factoring univariatepolynomials over the rationals: tutorial abstract. | Mark van Hoeij |
| 2013 | Computing rational solutions of linear matrix inequalities. | Qingdong Guo, Mohab Safey El Din, Lihong Zhi |
| 2013 | Fast algorithms for | Luca De Feo, Javad Doliskani, ric Schost |