Journal of Symbolic Computation

Title Publication Date Language Citations
The weight distributions of cyclic codes with two zeros and zeta functions2010/07/01English22
A new symbolic method for solving linear two-point boundary value problems on the level of operators2005/02/01English21
Irregular Primes and Cyclotomic Invariants to 12 Million2001/01/01English21
Liouvillian Solutions of Linear Differential Equations of Order Three and Higher1999/10/01English21
Resolution-based Theorem Proving for Many-valued Logics1995/04/01English21
An Algorithm for Computing an Integral Basis in an Algebraic Function Field1994/10/01English21
Gröbner Bases over Galois Rings with an Application to Decoding Alternant Codes2001/05/01English21
Generalized Resultants over Unirational Algebraic Varieties2000/05/01English21
On Efficient Sparse Integer Matrix Smith Normal Form Computations2001/07/01English21
Fast Evaluation of Holonomic Functions Near and in Regular Singularities2001/06/01English21
Improved dense multivariate polynomial factorization algorithms2007/04/01English21
Helical polynomial curves and double Pythagorean hodographs I. Quaternion and Hopf map representations2009/02/01English21
Approximate computation of zero-dimensional polynomial ideals2009/11/01English21
Equations of parametric surfaces with base points via syzygies2005/01/01English21
Barrier certificates revisited2017/05/01English21
Rational Normal Forms and Minimal Decompositions of Hypergeometric Terms2002/05/01English21
Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices2002/04/01English21
Projective and affine symmetries and equivalences of rational curves in arbitrary dimension2018/07/01English21
A Rational Function Decomposition Algorithm by Near-separated Polynomials1995/06/01English21
Formal Solutions and Factorization of Differential Operators with Power Series Coefficients1997/07/01English21
Exact Transversal Hypergraphs and Application to Boolean μ-Functions1994/03/01English21
A necessary condition in the monodromy problem for analytic differential equations on the plane2006/09/01English21
The invariants of the binary decimic2010/08/01English20
Simplification of Quantifier-free Formulae over Ordered Fields1997/08/01English20
A Maple Package for Symmetric Functions1995/11/01English20
Quantum automata and algebraic groups2005/03/01English20
Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions2011/12/01English20
Computing maximal subgroups of finite groups2004/05/01English20
Short rational functions for toric algebra and applications2004/08/01English20
Fast Computation of the Bezout and Dixon Resultant Matrices2002/01/01English20