Journal of Symbolic Computation

Title Publication Date Language Citations
A database of local fields2006/01/01English28
Implicitizing rational hypersurfaces using approximation complexes2005/10/01English28
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures1996/02/01English28
Real Solving for Positive Dimensional Systems2002/12/01English28
On the homology of two-dimensional elimination2008/04/01English28
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients2012/01/01English27
Computing Ideals of Points2000/10/01English27
How to Recognize Zero1997/12/01English27
Symbolic–numeric sparse interpolation of multivariate polynomials2009/08/01English27
Computing Toric Ideals1999/04/01English27
Classification of Hermitian Forms with the Neighbour Method1998/10/01English27
Rational invariants of a group action. Construction and rewriting2007/01/01English27
Solving Degenerate Sparse Polynomial Systems Faster1999/07/01English26
Rational rotation-minimizing frames on polynomial space curves of arbitrary degree2010/08/01English26
Factoring in Skew-polynomial Rings over Finite Fields1998/10/01English26
Primary Decomposition of Lattice Basis Ideals2000/05/01English26
Discriminants and nonnegative polynomials2012/02/01English26
A survey of strategies in rule-based program transformation systems2005/07/01English26
Polyhedral conditions for the nonexistence of the MLE for hierarchical log-linear models2006/02/01English25
Super ballot numbers1992/08/01English25
Variant quantifier elimination2012/07/01English25
A difference ring theory for symbolic summation2016/01/01English25
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs2006/07/01English25
Approximate factorization of multivariate polynomials using singular value decomposition2008/05/01English25
High-precision numerical integration: Progress and challenges2011/07/01English25
Computing Bases for Rings of Permutation-invariant Polynomials1995/04/01English25
Theorem Proving with Ordering and Equality Constrained Clauses1995/04/01English25
Renormalization Automated by Hopf Algebra1999/06/01English25
The Theory of Involutive Divisions and an Application to Hilbert Function Computations1998/06/01English25
An Algorithm for Computing the Integral Closure1998/09/01English25