Journal of Symbolic Computation

Title Publication Date Language Citations
Computing generating sets of lattice ideals and Markov bases of lattices2009/10/01English24
Genus 2 point counting over prime fields2012/04/01English24
A New Polynomial Factorization Algorithm and its Implementation1995/10/01English24
Modular Termination Proofs for Rewriting Using Dependency Pairs2002/07/01English24
Hilbert Functions and the Buchberger Algorithm1996/10/01English24
Cut-elimination and Redundancy-elimination by Resolution2000/02/01English24
Heuristics to sift extraneous factors in Dixon resultants2022/09/01English24
Separating invariants2009/09/01English24
Computation of the topology of real algebraic space curves2005/06/01English24
Algorithmic Thomas decomposition of algebraic and differential systems2012/10/01English24
On the cactus rank of cubic forms2013/03/01English24
Robust Multi-Objective Feedback Design by Quantifier Elimination1997/08/01English24
Computing Closed Form Solutions of First Order ODEs Using the Prelle-Singer Procedure1993/11/01English24
Finite Derivation Type Implies The Homological Finiteness Condition FP31994/08/01English24
Timed Default Concurrent Constraint Programming1996/11/01English24
Symbolic Constraints in Constructive Geometric Constraint Solving1997/02/01English24
For Groups the Property of Having Finite Derivation Type is equivalent to the Homological Finiteness ConditionFP31996/08/01English23
The lex game and some applications2006/06/01English23
Naturally graded quasi-filiform Leibniz algebras2009/05/01English23
Challenges of Symbolic Computation: My Favorite Open Problems2000/06/01English23
The Equivalence Problem for Finite Rings1993/01/01English23
Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture2000/08/01English23
Computing real roots of real polynomials2016/03/01English23
Unmixed-dimensional Decomposition of a Finitely Generated Perfect Differential Ideal2001/06/01English23
A survey on signature-based algorithms for computing Gröbner bases2017/05/01English23
The Riccati Equation in Mathematical Finance2002/03/01English22
Rational general solutions of first order non-autonomous parametrizable ODEs2010/12/01English22
Faster arithmetic for number-theoretic transforms2014/01/01English22
HYP and HYPQ1995/11/01English22
Summation Theory II: Characterizations of RΠΣ⁎-extensions and algorithmic aspects2017/05/01English22