| 2010 | A Slice algorithm for corners and Hilbert-Poincaré series of monomial ideals. Bjarke Hammersholt Roune |
| 2010 | A Strassen-like matrix multiplication suited for squaring and higher power computation. Marco Bodrato |
| 2010 | A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra. François Lemaire, Asli Ürgüplü |
| 2010 | A new algorithm for computing comprehensive Gröbner systems. Deepak Kapur, Yao Sun, Dingkang Wang |
| 2010 | A new incremental algorithm for computing Groebner bases. Shuhong Gao, Yinhua Guan, Frank Volny |
| 2010 | Absolute factoring of non-holonomic ideals in the plane. Dima Grigoriev, Fritz Schwarz |
| 2010 | Algebraic invariants and their differential algebras. Evelyne Hubert |
| 2010 | Algorithms for Bernstein-Sato polynomials and multiplier ideals. Christine Berkesch, Anton Leykin |
| 2010 | An in-place truncated fourier transform and applications to polynomial multiplication. David Harvey, Daniel S. Roche |
| 2010 | Asymptotically fast algorithms for modern computer algebra. Jürgen Gerhard |
| 2010 | Black-box/white-box simplification and applications to quantifier elimination. Christopher W. Brown, Adam W. Strzebonski |
| 2010 | Blind image deconvolution via fast approximate GCD. Zijia Li, Zhengfeng Yang, Lihong Zhi |
| 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, Frédéric Chyzak, Ziming Li |
| 2010 | Composition collisions and projective polynomials: statement of results. Joachim von zur Gathen, Mark Giesbrecht, Konstantin Ziegler |
| 2010 | Computation with semialgebraic sets represented by cylindrical algebraic formulas. Adam W. Strzebonski |
| 2010 | Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology. Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer |
| 2010 | Computing specified generators of structured matrix inverses. Claude-Pierre Jeannerod, Christophe Mouilleron |
| 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 | Computing the singularities of rational space curves. Xiaoran Shi, Falai Chen |
| 2010 | Consistency of finite difference approximations for linear PDE systems and its algorithmic verification. Vladimir P. Gerdt, Daniel Robertz |
| 2010 | Decomposition of generic multivariate polynomials. Jean-Charles Faugère, Joachim von zur Gathen, Ludovic Perret |
| 2010 | Degree bounds for Gröbner bases of low-dimensional polynomial ideals. Ernst W. Mayr, Stephan Ritscher |
| 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 | Fast multiplication of large permutations for disk, flash memory and RAM. Vlad Slavici, Xin Dong, Daniel Kunkle, Gene Cooperman |
| 2010 | Finding all bessel type solutions for linear differential equations with rational function coefficients. Mark van Hoeij, Quan Yuan |
| 2010 | Global optimization of polynomials using generalized critical values and sums of squares. Feng Guo, Mohab Safey El Din, Lihong Zhi |
| 2010 | Iterative Toom-Cook methods for very unbalanced long integer multiplication. Alberto Zanoni |
| 2010 | Liouvillian solutions of irreducible second order linear difference equations. Mark van Hoeij, Giles Levy |
| 2010 | NumGfun: a package for numerical and analytic computation with D-finite functions. Marc Mezzarobba |
| 2010 | On some decidable and undecidable problems related to q-difference equations with parameters. Sergei A. Abramov |
| 2010 | Output-sensitive decoding for redundant residue systems. Majid Khonji, Clément Pernet, Jean-Louis Roch, Thomas Roche, Thomas Stalinski |
| 2010 | Parametric quantified SAT solving. Thomas Sturm, Christoph Zengler |
| 2010 | Partial denominator bounds for partial linear difference equations. Manuel Kauers, Carsten Schneider |
| 2010 | Polynomial integration on regions defined by a triangle and a conic. David Sevilla, Daniel Wachsmuth |
| 2010 | Random polynomials and expected complexity of bisection methods for real solving. Ioannis Z. Emiris, André Galligo, Elias P. Tsigaridas |
| 2010 | Randomized NP-completeness for Martin E. Avendano, Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek |
| 2010 | Real and complex polynomial root-finding with eigen-solving and preprocessing. Victor Y. Pan, Ailong Zheng |
| 2010 | Simultaneously row- and column-reduced higher-order linear differential systems. Moulay A. Barkatou, Carole El Bacha, Eckhard Pflügel |
| 2010 | Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes. Costanza Conti, Luca Gemignani, Lucia Romani |
| 2010 | Solving recurrence relations using local invariants. Yongjae Cha, Mark van Hoeij, Giles Levy |
| 2010 | Solving schubert problems with Littlewood-Richardson homotopies. Frank Sottile, Ravi Vakil, Jan Verschelde |
| 2010 | Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings Wolfram Koepf |
| 2010 | Symbolic integration at compile time in finite element methods. Karl Rupp |
| 2010 | Symbolic methods for solving systems of linear ordinary differential equations. Moulay A. Barkatou |
| 2010 | The DMM bound: multivariate (aggregate) separation bounds. Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas |
| 2010 | Theory of reals for verification and synthesis of hybrid dynamical systems. Ashish Tiwari |
| 2010 | Transformation and factorization of partial differential systems: applications to stochastic systems. Sergey P. Tsarev |
| 2010 | Triangular decomposition of semi-algebraic systems. Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao |
| 2010 | Verification methods: rigorous results using floating-point arithmetic. Siegfried M. Rump |
| 2010 | When can we detect that a P-finite sequence is positive? Manuel Kauers, Veronika Pillwein |
| 2010 | Yet another block Lanczos algorithm: how to simplify the computation and reduce reliance on preconditioners in the small field case. Wayne Eberly |