| On Solutions of Linear Ordinary Difference Equations in their Coefficient Field | 2000/06/01 | English | 41 |
| Implicitizing Rational Curves by the Method of Moving Algebraic Curves | 1997/02/01 | English | 40 |
| Rational Parametrizations of Algebraic Curves using a Canonical Divisor | 1997/02/01 | English | 40 |
| Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms | 2001/04/01 | English | 40 |
| Solving and factoring boundary problems for linear ordinary differential equations in differential algebras | 2008/08/01 | English | 40 |
| Cohomology on Toric Varieties and Local Cohomology with Monomial Supports | 2000/05/01 | English | 39 |
| Algorithms for Exponentiation in Finite Fields | 2000/06/01 | English | 39 |
| Symbolic Computation and Differential Equations: Lie Symmetries | 2000/01/01 | English | 39 |
| Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems | 2005/12/01 | English | 39 |
| Quartic curves and their bitangents | 2011/06/01 | English | 38 |
| Determinantal representations of hyperbolic plane curves: An elementary approach | 2013/10/01 | English | 37 |
| Unification of Concept Terms in Description Logics | 2001/03/01 | English | 37 |
| Factoring Polynomials Over Finite Fields: A Survey | 2001/01/01 | English | 37 |
| Improved Projection for Cylindrical Algebraic Decomposition | 2001/11/01 | English | 37 |
| Greatest Factorial Factorization and Symbolic Summation | 1995/09/01 | English | 36 |
| Cubic vertex-transitive graphs on up to 1280 vertices | 2013/03/01 | English | 36 |
| Identifiable reparametrizations of linear compartment models | 2014/05/01 | English | 36 |
| Relax, but Don’t be Too Lazy | 2002/12/01 | English | 35 |
| Symbolic derivation of Runge–Kutta order conditions | 2004/03/01 | English | 35 |
| Cylindrical Algebraic Decomposition using validated numerics | 2006/09/01 | English | 35 |
| Fraction-free row reduction of matrices of Ore polynomials | 2006/05/01 | English | 35 |
| A Family of Sparse Polynomial Systems Arising in Chemical Reaction Systems | 2002/03/01 | English | 35 |
| Constructing transitive permutation groups | 2005/01/01 | English | 34 |
| Testing Stability by Quantifier Elimination | 1997/08/01 | English | 34 |
| PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials | 2009/09/01 | English | 34 |
| Decomposing Polynomial Systems into Simple Systems | 1998/03/01 | English | 34 |
| Sylvester–Habicht Sequences and Fast Cauchy Index Computation | 2001/03/01 | English | 34 |
| On Rational Solutions of Systems of Linear Differential Equations | 1999/10/01 | English | 34 |
| Solving Systems of Strict Polynomial Inequalities | 2000/03/01 | English | 34 |
| Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases | 2000/05/01 | English | 34 |