Journal of Symbolic Computation

Title Publication Date Language Citations
The Magma Algebra System I: The User Language1997/09/01English3,289
Eigenvalues of a real supersymmetric tensor2005/12/01English884
Practical graph isomorphism, II2014/01/01English473
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language2002/01/01English231
Efficient Computation of Zero-dimensional Gröbner Bases by Change of Ordering1993/10/01English209
Bruno Buchberger’s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal2006/03/01English188
Toric dynamical systems2009/11/01English125
Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs2004/06/01English121
On determinants and eigenvalue theory of tensors2013/03/01English102
A Probabilistic Algorithm to Test Local Algebraic Observability in Polynomial Time2002/05/01English98
Coding with skew polynomial rings2009/12/01English94
On the Theories of Triangular Sets1999/07/01English94
Hypergeometric solutions of linear recurrences with polynomial coefficients1992/08/01English91
Symbolic Computation of Conserved Densities for Systems of Nonlinear Evolution Equations1997/11/01English89
KANT V41997/09/01English86
Recent Advances on Determining the Number of Real Roots of Parametric Polynomials1999/07/01English84
Computing symmetric rank for symmetric tensors2011/01/01English84
Algebraic geometry of Bayesian networks2005/03/01English79
Computing tropical varieties2007/01/01English78
Effective lattice point counting in rational convex polytopes2004/10/01English77
A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties1993/02/01English77
A persistence landscapes toolbox for topological statistics2017/01/01English74
Non-commutative Elimination in Ore Algebras Proves Multivariate Identities1998/08/01English72
Symbolic Reachability Computation for Families of Linear Vector Fields2001/09/01English72
A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities1995/11/01English72
Computing Rational Parametrizations of Canal Surfaces1997/02/01English71
Solving parametric polynomial systems2007/06/01English69
Eigenvectors of tensors and algorithms for Waring decomposition2013/07/01English65
Univariate Polynomials: Nearly Optimal Algorithms for Numerical Factorization and Root-finding2002/05/01English65
Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines2006/12/01English60