| 2011 | Formal first integrals along solutions of differential systems I. | Ainhoa Aparicio-Monforte, Moulay A. Barkatou, Sergi Simon, Jacques-Arthur Weil |
| 2011 | Border basis detection is NP-complete. | Prabhanjan Vijendra Ananth, Ambedkar Dukkipati |
| 2010 | Iterative Toom-Cook methods for very unbalanced long integer multiplication. | Alberto Zanoni |
| 2010 | Transformation and factorization of partial differential systems: applications to stochastic systems. | Sergey P. Tsarev |
| 2010 | Theory of reals for verification and synthesis of hybrid dynamical systems. | Ashish Tiwari |
| 2010 | Parametric quantified SAT solving. | Thomas Sturm, Christoph Zengler |
| 2010 | Computation with semialgebraic sets represented by cylindrical algebraic formulas. | Adam W. Strzebonski |
| 2010 | Solving schubert problems with Littlewood-Richardson homotopies. | Frank Sottile, Ravi Vakil, Jan Verschelde |
| 2010 | Fast multiplication of large permutations for disk, flash memory and RAM. | Vlad Slavici, Xin Dong, Daniel Kunkle, Gene Cooperman |
| 2010 | Computing the singularities of rational space curves. | Xiaoran Shi, Falai Chen |
| 2010 | Polynomial integration on regions defined by a triangle and a conic. | David Sevilla, Daniel Wachsmuth |
| 2010 | Symbolic integration at compile time in finite element methods. | Karl Rupp |
| 2010 | Verification methods: rigorous results using floating-point arithmetic. | Siegfried M. Rump |
| 2010 | A Slice algorithm for corners and Hilbert-Poincar series of monomial ideals. | Bjarke Hammersholt Roune |
| 2010 | Real and complex polynomial root-finding with eigen-solving and preprocessing. | Victor Y. Pan, Ailong Zheng |
| 2010 | NumGfun: a package for numerical and analytic computation with D-finite functions. | Marc Mezzarobba |
| 2010 | Degree bounds for Grbner bases of low-dimensional polynomial ideals. | Ernst W. Mayr, Stephan Ritscher |
| 2010 | Blind image deconvolution via fast approximate GCD. | Zijia Li, Zhengfeng Yang, Lihong Zhi |
| 2010 | Easy composition of symbolic computation software: a new lingua franca for symbolic computation. | Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond |
| 2010 | A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra. | Franois Lemaire, Asli rgpl |
| 2010 | Output-sensitive decoding for redundant residue systems. | Majid Khonji, Clment Pernet, Jean-Louis Roch, Thomas Roche, Thomas Stalinski |
| 2010 | Partial denominator bounds for partial linear difference equations. | Manuel Kauers, Carsten Schneider |
| 2010 | When can we detect that a P-finite sequence is positive? | Manuel Kauers, Veronika Pillwein |
| 2010 | A new algorithm for computing comprehensive Grbner systems. | Deepak Kapur, Yao Sun, Dingkang Wang |
| 2010 | Computing specified generators of structured matrix inverses. | Claude-Pierre Jeannerod, Christophe Mouilleron |