| 2012 | Zeilberger's holonomic ansatz for Pfaffians. | Masao Ishikawa, Christoph Koutschan |
| 2012 | Rational invariants of scalings from Hermite normal forms. | Evelyne Hubert, George Labahn |
| 2012 | On the complexity of multivariate blockwise polynomial multiplication. | Joris van der Hoeven, Grgoire Lecerf |
| 2012 | Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions. | Feng Guo, Erich L. Kaltofen, Lihong Zhi |
| 2012 | Improving the accuracy of linear programming solvers with iterative refinement. | Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter |
| 2012 | Twisting q-holonomic sequences by complex roots of unity. | Stavros Garoufalidis, Christoph Koutschan |
| 2012 | A root isolation algorithm for sparse univariate polynomials. | Maria Emilia Alonso Garcia, Andr Galligo |
| 2012 | Solving polynomial systems globally invariant under an action of the symmetric group and application to the equilibria of N vortices in the plane. | Jean-Charles Faugre, Jules Svartz |
| 2012 | Critical points and Grbner bases: the unmixed case. | Jean-Charles Faugre, Mohab Safey El Din, Pierre-Jean Spaenlehauer |
| 2012 | On the complexity of solving a bivariate polynomial system. | Pavel Emeliyanenko, Michael Sagraloff |
| 2012 | Fast computation of Smith forms of sparse matrices over local rings. | Mustafa Elsheikh, Mark Giesbrecht, Andy Novocin, B. David Saunders |
| 2012 | Sparse polynomial interpolation and Berlekamp/Massey algorithms that correct outlier errors in input values. | Matthew T. Comer, Erich L. Kaltofen, Clment Pernet |
| 2012 | Telescopers for rational and algebraic functions via residues. | Shaoshi Chen, Manuel Kauers, Michael F. Singer |
| 2012 | Order-degree curves for hypergeometric creative telescoping. | Shaoshi Chen, Manuel Kauers |
| 2012 | On the complexity of solving initial value problems. | Olivier Bournez, Daniel Silva Graa, Amaury Pouly |
| 2012 | Power series solutions of singular (q)-differential equations. | Alin Bostan, Bruno Salvy, Muhammad F. I. Chowdhury, ric Schost, Romain Lebreton |
| 2012 | Fast computation of common left multiples of linear ordinary differential operators. | Alin Bostan, Frdric Chyzak, Bruno Salvy, Ziming Li |
| 2012 | Compositions and collisions at degree | Raoul Blankertz, Joachim von zur Gathen, Konstantin Ziegler |
| 2012 | Parallel sparse polynomial multiplication on modern hardware architectures. | Francesco Biscani |
| 2012 | A polynomial time algorithm for computing the HNF of a module over the integers of a number field. | Jean-Franois Biasse, Claus Fieker |
| 2012 | A-hypergeometric functions: computational aspects. | Frits Beukers |
| 2012 | Solving polynomial systems over finite fields: improved analysis of the hybrid approach. | Luk Bettale, Jean-Charles Faugre, Ludovic Perret |
| 2012 | Relaxed p-adic Hensel lifting for algebraic systems. | Jrmy Berthomieu, Romain Lebreton |
| 2012 | Solving linear ordinary differential systems in hyperexponential extensions. | Moulay A. Barkatou, Clemens G. Raab |
| 2012 | Computing closed form solutions of integrable connections. | Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha, Jacques-Arthur Weil |