| 2014 | A fast algorithm for computing the characteristic polynomial of the p-curvature. Alin Bostan, Xavier Caruso, Éric Schost |
| 2014 | A generalized Apagodu-Zeilberger algorithm. Shaoshi Chen, Manuel Kauers, Christoph Koutschan |
| 2014 | A near-optimal algorithm for computing real roots of sparse polynomials. Michael Sagraloff |
| 2014 | A new deterministic algorithm for sparse multivariate polynomial interpolation. Markus Bläser, Gorav Jindal |
| 2014 | Algebraic complexity theory and matrix multiplication. François Le Gall |
| 2014 | An Jonathan D. Hauenstein, Ian Haywood, Alan C. Liddell Jr. |
| 2014 | Bounds for D-finite closure properties. Manuel Kauers |
| 2014 | Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach. Bruno Grenet |
| 2014 | Computing necessary integrability conditions for planar parametrized homogeneous potentials. Alin Bostan, Thierry Combot, Mohab Safey El Din |
| 2014 | Computing the differential Galois group of a parameterized second-order linear differential equation. Carlos E. Arreche |
| 2014 | Constructing fewer open cells by GCD computation in CAD projection. Jingjun Han, Liyun Dai, Bican Xia |
| 2014 | Covering of surfaces parametrized without projective base points. J. Rafael Sendra, David Sevilla, Carlos Villarino |
| 2014 | Cylindrical algebraic decomposition using local projections. Adam W. Strzebonski |
| 2014 | Effective quantifier elimination for industrial applications. Hirokazu Anai |
| 2014 | Equivariant lattice generators and Markov bases. Thomas Kahle, Robert Krone, Anton Leykin |
| 2014 | Essentially optimal interactive certificates in linear algebra. Jean-Guillaume Dumas, Erich L. Kaltofen |
| 2014 | Evaluating parametric holonomic sequences using rectangular splitting. Fredrik Johansson |
| 2014 | Factoring linear differential operators in Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy |
| 2014 | Fast arithmetic for the algebraic closure of finite fields. Luca De Feo, Javad Doliskani, Éric Schost |
| 2014 | Faster relaxed multiplication. Joris van der Hoeven |
| 2014 | Formal solutions of a class of Pfaffian systems in two variables. Suzy S. Maddah, Moulay A. Barkatou, Hassan Abbas |
| 2014 | Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers. David R. Stoutemyer |
| 2014 | Gröbner bases of toric ideals and their application. Hidefumi Ohsugi |
| 2014 | High performance implementation of the TFT. Lingchuan Meng, Jeremy Johnson |
| 2014 | How to develop a mobile computer algebra system. Mitsushi Fujimoto |
| 2014 | Improved algorithm for computing separating linear forms for bivariate systems. Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier |
| 2014 | International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014 Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó |
| 2014 | Introduction to max-plus algebra. Hiroyuki Goto |
| 2014 | LLL reducing with the most significant bits. Saruchi, Ivan Morel, Damien Stehlé, Gilles Villard |
| 2014 | Linear independence oracles and applications to rectangular and low rank linear systems. Arne Storjohann, Shiyun Yang |
| 2014 | Logspace computations in graph products. Volker Diekert, Jonathan Kausch |
| 2014 | Mathematics by machine. Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai |
| 2014 | Matrix-F5 algorithms over finite-precision complete discrete valuation fields. Tristan Vaccon |
| 2014 | Maximum likelihood for matrices with rank constraints. Bernd Sturmfels |
| 2014 | Maximum likelihood geometry in the presence of data zeros. Elizabeth Gross, Jose Israel Rodriguez |
| 2014 | Multivariate sparse interpolation using randomized Kronecker substitutions. Andrew Arnold, Daniel S. Roche |
| 2014 | On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. Katsusuke Nabeshima, Shinichi Tajima |
| 2014 | On isomorphisms of modules over non-commutative PID. José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro |
| 2014 | On the computation of the topology of plane curves. Daouda Niang Diatta, Fabrice Rouillier, Marie-Françoise Roy |
| 2014 | On the reduction of singularly-perturbed linear differential systems. Suzy S. Maddah, Moulay A. Barkatou, Hassan Abbas |
| 2014 | Online order basis algorithm and its impact on the block Wiedemann algorithm. Pascal Giorgi, Romain Lebreton |
| 2014 | Parallel telescoping and parameterized Picard-Vessiot theory. Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer |
| 2014 | Powers of tensors and fast matrix multiplication. François Le Gall |
| 2014 | Quantifier elimination by cylindrical algebraic decomposition based on regular chains. Changbo Chen, Marc Moreno Maza |
| 2014 | Radical solutions of first order autonomous algebraic ordinary differential equations. Georg Grasegger |
| 2014 | Randomized detection of extraneous factors. Manfred Minimair |
| 2014 | Reduction among bracket polynomials. Hongbo Li, Changpeng Shao, Lei Huang, Yue Liu |
| 2014 | Root counts of semi-mixed systems, and an application to counting nash equilibria. Ioannis Z. Emiris, Raimundas Vidunas |
| 2014 | Solving higher order linear differential equations having elliptic function coefficients. Reinhold Burger |
| 2014 | Sparse Gröbner bases: the unmixed case. Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz |
| 2014 | Sparse interpolation over finite fields via low-order roots of unity. Andrew Arnold, Mark Giesbrecht, Daniel S. Roche |
| 2014 | Sparse multivariate function recovery with a high error rate in the evaluations. Erich L. Kaltofen, Zhengfeng Yang |
| 2014 | Sparse polynomial interpolation codes and their decoding beyond half the minimum distance. Erich L. Kaltofen, Clément Pernet |
| 2014 | Sub-cubic change of ordering for Gröbner basis: a probabilistic approach. Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault |
| 2014 | Symbolic-numeric algorithms for computing validated results. Lihong Zhi |
| 2014 | Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). Madalina Erascu, Hoon Hong |
| 2014 | Tame decompositions and collisions. Konstantin Ziegler |
| 2014 | The Oscar García Morchon, Domingo Gómez-Pérez, Jaime Gutierrez, Ronald Rietman, Ludo Tolhuizen |
| 2014 | The asymptotic analysis of some interpolated nonlinear recurrence relations. Robert M. Corless, David J. Jeffrey, Fei Wang |
| 2014 | Toric border basis. Bernard Mourrain, Philippe Trébuchet |
| 2014 | Unimodular completion of polynomial matrices. Wei Zhou, George Labahn |