| 2012 | A polynomial time algorithm for computing the HNF of a module over the integers of a number field. Jean-François Biasse, Claus Fieker |
| 2012 | A root isolation algorithm for sparse univariate polynomials. Maria Emilia Alonso Garcia, André Galligo |
| 2012 | A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras. Yao Sun, Dingkang Wang, Xiaodong Ma, Yang Zhang |
| 2012 | A-hypergeometric functions: computational aspects. Frits Beukers |
| 2012 | Algebraic statistics. Seth Sullivant |
| 2012 | Algorithms for the universal decomposition algebra. Romain Lebreton, Éric Schost |
| 2012 | An algorithm to compute the differential equations for the logarithm of a polynomial. Toshinori Oaku |
| 2012 | An efficient implementation of the algorithm computing the Borel-fixed points of a Hilbert scheme. Paolo Lella |
| 2012 | An efficient programming model for memory-intensive recursive algorithms using parallel disks. Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen A. Linton |
| 2012 | Asymptotic spectrum and matrix multiplication. Volker Strassen |
| 2012 | Border basis representation of a general quotient algebra. Bernard Mourrain, Philippe Trebuchet |
| 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 | Complexity of deciding connectivity in real algebraic sets: recent results and future research directions. Marie-Françoise Roy |
| 2012 | Compositions and collisions at degree Raoul Blankertz, Joachim von zur Gathen, Konstantin Ziegler |
| 2012 | Computing Puiseux series for algebraic surfaces. Danko Adrovic, Jan Verschelde |
| 2012 | Computing closed form solutions of integrable connections. Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha, Jacques-Arthur Weil |
| 2012 | Computing minimal nullspace bases. Wei Zhou, George Labahn, Arne Storjohann |
| 2012 | Computing real solutions of polynomial systems via low-rank moment matrix completion. Yue Ma, Lihong Zhi |
| 2012 | Construction of 2-closed M-representations. Ákos Seress |
| 2012 | Critical points and Gröbner bases: the unmixed case. Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer |
| 2012 | Deterministic unimodularity certification. Colton Pauderis, Arne Storjohann |
| 2012 | Effective de Rham cohomology: the hypersurface case. Peter Scheiblechner |
| 2012 | Elements of computer-algebraic analysis. Viktor Levandovskyy |
| 2012 | Factorization of differential operators with ordinary differential polynomial coefficients. Mingbo Zhang, Yong Luo |
| 2012 | Fast computation of Smith forms of sparse matrices over local rings. Mustafa Elsheikh, Mark Giesbrecht, Andy Novocin, B. David Saunders |
| 2012 | Fast computation of common left multiples of linear ordinary differential operators. Alin Bostan, Frédéric Chyzak, Bruno Salvy, Ziming Li |
| 2012 | Improving the accuracy of linear programming solvers with iterative refinement. Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter |
| 2012 | International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012 Joris van der Hoeven, Mark van Hoeij |
| 2012 | Near optimal tree size bounds on a simple real root isolation algorithm. Vikram Sharma, Chee-Keng Yap |
| 2012 | On the complexity of multivariate blockwise polynomial multiplication. Joris van der Hoeven, Grégoire Lecerf |
| 2012 | On the complexity of solving a bivariate polynomial system. Pavel Emeliyanenko, Michael Sagraloff |
| 2012 | On the complexity of solving initial value problems. Olivier Bournez, Daniel Silva Graça, Amaury Pouly |
| 2012 | On valuations of meromorphic solutions of arbitrary-order linear difference systems with polynomial coefficients. Sergei A. Abramov, Denis E. Khmelnov |
| 2012 | Order-degree curves for hypergeometric creative telescoping. Shaoshi Chen, Manuel Kauers |
| 2012 | Parallel sparse polynomial multiplication on modern hardware architectures. Francesco Biscani |
| 2012 | Power series solutions of singular (q)-differential equations. Alin Bostan, Bruno Salvy, Muhammad F. I. Chowdhury, Éric Schost, Romain Lebreton |
| 2012 | Practical Gröbner basis computation. Bjarke Hammersholt Roune, Michael Eugene Stillman |
| 2012 | Programming before theorizing, a case study. Ana Romero, Francis Sergeraert |
| 2012 | Rational invariants of scalings from Hermite normal forms. Evelyne Hubert, George Labahn |
| 2012 | Relaxed p-adic Hensel lifting for algebraic systems. Jérémy Berthomieu, Romain Lebreton |
| 2012 | Small homogeneous quandles. James McCarron |
| 2012 | Solving linear ordinary differential systems in hyperexponential extensions. Moulay A. Barkatou, Clemens G. Raab |
| 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 Faugère, Jules Svartz |
| 2012 | Solving polynomial systems over finite fields: improved analysis of the hybrid approach. Luk Bettale, Jean-Charles Faugère, Ludovic Perret |
| 2012 | Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas. Adam W. Strzebonski |
| 2012 | Sparse polynomial interpolation and Berlekamp/Massey algorithms that correct outlier errors in input values. Matthew T. Comer, Erich L. Kaltofen, Clément Pernet |
| 2012 | Telescopers for rational and algebraic functions via residues. Shaoshi Chen, Manuel Kauers, Michael F. Singer |
| 2012 | The M4RIE library for dense linear algebra over small fields with even characteristic. Martin R. Albrecht |
| 2012 | Twisting q-holonomic sequences by complex roots of unity. Stavros Garoufalidis, Christoph Koutschan |
| 2012 | Univariate real root isolation in multiple extension fields. Adam W. Strzebonski, Elias P. Tsigaridas |
| 2012 | Upper bounds on real roots and lower bounds for the permanent. Pascal Koiran |
| 2012 | When Newton meets Descartes: a simple and fast algorithm to isolate the real roots of a polynomial. Michael Sagraloff |
| 2012 | Zeilberger's holonomic ansatz for Pfaffians. Masao Ishikawa, Christoph Koutschan |