| 2010 | Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method. | Sharon Hutton, Erich L. Kaltofen, Lihong Zhi |
| 2010 | Algebraic invariants and their differential algebras. | Evelyne Hubert |
| 2010 | Finding all bessel type solutions for linear differential equations with rational function coefficients. | Mark van Hoeij, Quan Yuan |
| 2010 | Liouvillian solutions of irreducible second order linear difference equations. | Mark van Hoeij, Giles Levy |
| 2010 | An in-place truncated fourier transform and applications to polynomial multiplication. | David Harvey, Daniel S. Roche |
| 2010 | Global optimization of polynomials using generalized critical values and sums of squares. | Feng Guo, Mohab Safey El Din, Lihong Zhi |
| 2010 | Absolute factoring of non-holonomic ideals in the plane. | Dima Grigoriev, Fritz Schwarz |
| 2010 | Asymptotically fast algorithms for modern computer algebra. | Jrgen Gerhard |
| 2010 | Consistency of finite difference approximations for linear PDE systems and its algorithmic verification. | Vladimir P. Gerdt, Daniel Robertz |
| 2010 | Composition collisions and projective polynomials: statement of results. | Joachim von zur Gathen, Mark Giesbrecht, Konstantin Ziegler |
| 2010 | A new incremental algorithm for computing Groebner bases. | Shuhong Gao, Yinhua Guan, Frank Volny |
| 2010 | Decomposition of generic multivariate polynomials. | Jean-Charles Faugre, Joachim von zur Gathen, Ludovic Perret |
| 2010 | Computing loci of rank defects of linear matrices using Grbner bases and applications to cryptology. | Jean-Charles Faugre, Mohab Safey El Din, Pierre-Jean Spaenlehauer |
| 2010 | The DMM bound: multivariate (aggregate) separation bounds. | Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas |
| 2010 | Random polynomials and expected complexity of bisection methods for real solving. | Ioannis Z. Emiris, Andr Galligo, Elias P. Tsigaridas |
| 2010 | Yet another block Lanczos algorithm: how to simplify the computation and reduce reliance on preconditioners in the small field case. | Wayne Eberly |
| 2010 | Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes. | Costanza Conti, Luca Gemignani, Lucia Romani |
| 2010 | Triangular decomposition of semi-algebraic systems. | Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao |
| 2010 | Solving recurrence relations using local invariants. | Yongjae Cha, Mark van Hoeij, Giles Levy |
| 2010 | Black-box/white-box simplification and applications to quantifier elimination. | Christopher W. Brown, Adam W. Strzebonski |
| 2010 | Chebyshev interpolation polynomial-based tools for rigorous computing. | Nicolas Brisebarre, Mioara Joldes |
| 2010 | Complexity of creative telescoping for bivariate rational functions. | Alin Bostan, Shaoshi Chen, Frdric Chyzak, Ziming Li |
| 2010 | A Strassen-like matrix multiplication suited for squaring and higher power computation. | Marco Bodrato |
| 2010 | Algorithms for Bernstein-Sato polynomials and multiplier ideals. | Christine Berkesch, Anton Leykin |
| 2010 | Simultaneously row- and column-reduced higher-order linear differential systems. | Moulay A. Barkatou, Carole El Bacha, Eckhard Pflgel |