| Liouvillian and Algebraic Solutions of Second and Third Order Linear Differential Equations | 1993/07/01 | English | 34 |
| Peakword Condensation and Submodule Lattices: An Application of the Meat-Axe | 1994/06/01 | English | 33 |
| Local Cohomology at Monomial Ideals | 2000/05/01 | English | 33 |
| Differential type operators and Gröbner–Shirshov bases | 2013/05/01 | English | 33 |
| An Elimination Method for Polynomial Systems | 1993/08/01 | English | 33 |
| Parametrization of Algebraic Curves over Optimal Field Extensions | 1997/02/01 | English | 32 |
| Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions | 1999/02/01 | English | 32 |
| Finding Identities with the WZ Method | 1995/11/01 | English | 32 |
| Nonlinear Control System Design by Quantifier Elimination | 1997/08/01 | English | 32 |
| On the complexity of theF5Gröbner basis algorithm | 2015/09/01 | English | 32 |
| Generating all polynomial invariants in simple loops | 2007/04/01 | English | 31 |
| Note on Kovacic's Algorithm | 1996/08/01 | English | 31 |
| Markov bases of three-way tables are arbitrarily complicated | 2006/02/01 | English | 30 |
| An Algorithm To Compute The Invariant Ring Of A Ga-action On An Affine Variety | 1993/12/01 | English | 30 |
| The Computation and Application of the Generalized Inverse via Maple | 1998/01/01 | English | 30 |
| Generic and Cogeneric Monomial Ideals | 2000/05/01 | English | 30 |
| F5C: A variant of Faugère’s F5 algorithm with reduced Gröbner bases | 2010/12/01 | English | 29 |
| An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems | 2002/11/01 | English | 29 |
| List decoding of Reed–Solomon codes from a Gröbner basis perspective | 2008/09/01 | English | 29 |
| PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems | 1996/04/01 | English | 29 |
| On a new procedure for finding nonclassical symmetries | 2004/12/01 | English | 29 |
| On the asymptotic and practical complexity of solving bivariate systems over the reals | 2009/07/01 | English | 29 |
| An Iterated Eigenvalue Algorithm for Approximating Roots of Univariate Polynomials | 2002/05/01 | English | 29 |
| Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem | 2009/12/01 | English | 28 |
| General tensor decomposition, moment matrices and applications | 2013/05/01 | English | 28 |
| An algorithmic approach to Ramanujan–Kolberg identities | 2015/05/01 | English | 28 |
| Symbolic computation of some power-trigonometric series | 2017/05/01 | English | 28 |
| On the Stability of Gröbner Bases Under Specializations | 1997/07/01 | English | 28 |
| Tropical linear-fractional programming and parametric mean payoff games | 2012/12/01 | English | 28 |
| Computation of the singularities of parametric plane curves | 2007/08/01 | English | 28 |