Journal of Symbolic Computation

Article	Citations
Editorial Board	31
Editorial Board	19
Polynomial modular product verification and its implications	19
Computing rational powers of monomial ideals	17
Computing the binomial part of a polynomial ideal	16
Bit complexity for computing one point in each connected component of a smooth real algebraic set	15
First-order factors of linear Mahler operators	12
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	10
Permutations avoiding sets of patterns with long monotone subsequences	10
Gram spectrahedra of ternary quartics	9
Editorial Board	9
Machine learning invariants of arithmetic curves	9
Strictly positive polynomials in the boundary of the SOS cone	9
WITHDRAWN: A post-quantum key exchange protocol from the intersection of conics	9
Sasbi-standard bases of modules	8
SONC optimization and exact nonnegativity certificates via second-order cone programming	8
The conjugacy problem and canonical representatives in finitely generated nilpotent groups	8
Deformations of half-canonical Gorenstein curves in codimension four	8
Positivity proofs for linear recurrences through contracted cones	7
A note on the multivariate symmetric Hermite interpolant	7
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences	7
Two-step Newton's method for deflation-one singular zeros of analytic systems	7
Machine learning parameter systems, Noether normalisations and quasi-stable positions	7
q-analogues of π-formulas due to Ramanujan and Guillera	7
Isolating all the real roots of a mixed trigonometric-polynomial	7

Orthogonal-symplectic matrices and their parametric representation	7
Local dual spaces and primary decomposition	7
Moment varieties of the inverse Gaussian and gamma distributions are nondefective	6
Wilf-Zeilberger seeds and non-trivial hypergeometric identities	6
Axioms for a theory of signature bases	6
Algebraic number fields and the LLL algorithm	6
Reduction-based creative telescoping for P-recursive sequences via integral bases	6
On the existence and convergence of formal power series solutions of nonlinear Mahler equations	6
Computational Algebra and Geometry: A special issue in memory and honor of Agnes Szanto	6
Fast commutative matrix algorithms	6
Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity	6
Graph sequence learning for premise selection	6
Corrigendum to “On the cactus rank of cubics forms” [J. Symb. Comput. 50 (2013) 291–297]	6
Sections of Dupin cyclides and their focal properties	6
Enumerating seating arrangements that obey social distancing	5
Computing the character table of a 2-local maximal subgroup of the Monster	5
Perfect refiners for permutation group backtracking algorithms	5
The deviation on cranks of partitions	5
Creative telescoping for hypergeometric double sums	5
Structural identifiability of series-parallel LCR systems	5
Reduction systems and degree bounds for integration	5
Effects of reducing redundant parameters in parameter optimization for symbolic regression using genetic programming	5
Efficient detection of redundancies in systems of linear inequalities	5
Decomposition loci of tensors	5
Absolute concentration robustness: Algebra and geometry	5
Squarefree normal representation of zeros of zero-dimensional polynomial systems	4
Computing implicitizations of multi-graded polynomial maps	4
The Chow-Lam form	4
Computing free non-commutative Gröbner bases over Z with Singular:Lett	4
On symmetry adapted bases in trigonometric optimization	4
Computing finite and infinite free resolutions with Pommaret-like bases	4
Editorial Board	4
Limits of real bivariate rational functions	4
Gröbner-Shirshov bases for free multi-operated algebras over algebras	4
Certified simultaneous isotopic approximation of algebraic curves via subdivision	4
Computing primitive idempotents in finite commutative rings and applications	4
Relations among multi-polynomial subresultants	4
A post-quantum key exchange protocol from the intersection of conics	4
Stabilized recovery and model reduction for multivariate exponential polynomials	4
Invariants of SDP exactness in quadratic programming	4
Tensor decompositions on simplicial complexes with invariance	4
Computing pullback function of second order differential operators by using their semi-invariants	4
Computing tropical bitangents to smooth quartic curves in polymake	4
Smooth points on semi-algebraic sets	4
Computing a group action from the class field theory of imaginary hyperelliptic function fields	4
The anisotropic part of a quadratic form over a number field	4
A counterexample to a conjecture on simultaneous Waring identifiability	4
On parametric semidefinite programming with unknown boundaries	3
Reflection groups and cones of sums of squares	3
Liouvillian solutions of Whittaker-Ince equation	3

Simultaneous Rational Function Reconstruction with errors: Handling multiplicities and poles	3
Apéry-type series via colored multiple zeta values and Fourier-Legendre series expansions	3
The span of singular tuples of a tensor beyond the boundary format	3
Neurons on amoebae	3
Jacobi stability analysis for systems of ODEs with symbolic computation	3
Sagbi combinatorics of maximal minors and a Sagbi algorithm	3
Nash conditional independence curve	3
The Smith normal form and reduction of weakly linear matrices	3
Regular orbits of finite primitive solvable groups, the final classification	3
The integral closure of a primary ideal is not always primary	3
Semantics of division for polynomial solvers	3
Quantifier elimination for normal cone computations	3
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form	3
Two algorithms for computing the general component of jet scheme and applications	3
Special issue of JSC on the occasion of MEGA 2021	3
Computing direct sum decompositions	3
MacMahon's partition analysis XV: Parity	2
Syzygies, constant rank, and beyond	2
MacWilliams' Extension Theorem for rank-metric codes	2
Standard generators of finite fields and their cyclic subgroups	2
Solving degree, last fall degree, and related invariants	2
Linear preservers of secant varieties and other varieties of tensors	2
Some fast algorithms multiplying a matrix by its adjoint	2
Editorial Board	2
Editorial Board	2
Fast computation of the N-th term of a q-holonomic sequence and applications	2
Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings	2
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results	2
Tropical combinatorics of max-linear Bayesian networks	2
Symmetry in multivariate ideal interpolation	2
Secant varieties of Segre-Veronese varieties	2
Computing positive tropical varieties and lower bounds on the number of positive roots	2
A geometric algorithm for the factorization of rational motions in conformal three space	2
Representation of hypergeometric products of higher nesting depths in difference rings	2
Invariant neural architecture for learning term synthesis in instantiation proving	2
A field-theoretic view of unlabeled sensing	2
Computing character tables and Cartan matrices of finite monoids with fixed point counting	2
Arithmetic of D-algebraic functions	2
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach	2
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra	2
Levelwise construction of a single cylindrical algebraic cell	2
Editorial Board	2
Lower bounds on the rank and symmetric rank of real tensors	2
New dimension polynomials of inversive difference field extensions and inversive difference modules	2
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell	2
Computing generating sets of minimal size in finite algebras	2
Supercongruences involving products of two binomial coefficients modulo p4	2
Fast evaluation of generalized Todd polynomials: Applications to MacMahon's partition analysis and integer programming	2
Signature-based standard basis algorithm under the framework of GVW algorithm	2
Editorial Board	2
Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp	2
Staged tree models with toric structure	2
Symmetric SAGE and SONC forms, exactness and quantitative gaps	2
Exact moment representation in polynomial optimization	2
Geometric interpretations of compatibility for fundamental matrices	2
An effective decomposition theorem for Schubert varieties	2
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited	2
Parallelization of triangular decompositions: Techniques and implementation	2
D-algebraic functions	2
Logarithmic Voronoi cells for Gaussian models	2
Viro's patchworking and the signed reduced A-discriminant	2
Coupled cluster degree of the Grassmannian	2
Constructively describing orbit spaces of finite groups by few inequalities	2
Early termination for sparse interpolation of polynomials in Chebyshev bases	1
A fast algorithm for denumerants with three variables	1
Editorial Board	1
Bounds for degrees of syzygies of polynomials defining a grade two ideal	1
A propositional encoding for first-order clausal entailment over infinitely many constants	1
Certified numerical real root isolation for bivariate nonlinear systems	1
Integer programming with binary and bounded variables via Gröbner bases with applications to multiobjective integer programming	1
Arithmetic properties of partition functions introduced by Pushpa and Vasuki	1
Solving second order homogeneous differential equations in terms of Heun's general function	1
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients	1
On the log-concavity of the n-th root of sequences	1
The critical curvature degree of an algebraic variety	1
Computing Galois groups of Fano problems	1
Mixed volumes of networks with binomial steady-states	1
Algorithm for globally identifiable reparametrizations of ODEs	1
Critical configurations for two projective views, a new approach	1
Algebraic equations for constant width curves and Zindler curves	1

Persistent components in Canny's generalized characteristic polynomial	1
Bivariate polynomial reduction and elimination ideal over finite fields	1
On the dimension of the solution space of linear difference equations over the ring of infinite sequences	1
Editorial Board	1
Foreword	1
Bifurcations in a population model on N patches with strong Allee effect and spatial dispersal through Jacobian matrices	1
Satisfiability modulo theories for verifying MILP certificates	1
Geometric complexity theory for product-plus-power	1
On arrangements of quadrics in decomposing the parameter space of 3D digitized rigid motions	1
Solving polynomial systems over non-fields and applications to modular polynomial factoring	1
Algorithm for studying polynomial maps and reductions modulo prime number	1
Certified Hermite matrices from approximate roots	1
On the connectedness of multistationarity regions of small reaction networks	1
q-Gosper algorithm and simple Bailey pairs	1
Sextactic points on the Fermat cubic curve and arrangements of conics	1
Algebraic and algorithmic methods for computing polynomial loop invariants	1
A certified iterative method for isolated singular roots	1
Solving parametric systems of polynomial equations over the reals through Hermite matrices	1
Formations of finite groups in polynomial time: F-residuals and	1
Toward finiteness of central configurations for the planar six-body problem by symbolic computations. (I) Determine diagrams and orders	1
Finite group characters on free resolutions	1
Editorial Board	1
Computing splitting fields using Galois theory and other Galois constructions	1
Dissimilar subalgebras of symmetry algebra of plasticity equations	1
A note on the relation between recognisable series and regular sequences, and their minimal linear representations	1
Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians	1
Computing component groups of stabilizers of nilpotent orbit representatives	1
On the classification of foliations of degree three with one singularity	1
Subalgebra and Khovanskii bases equivalence	1
On cyclic codes over Zq	1
Partial semiorthogonal decompositions for quiver moduli	1
Towards automated generation of fast and accurate algorithms for recursive matrix multiplication	1
On magic distinct labellings of simple graphs	1
Minimal generating sets for matrix monoids	1
Duality of sum of nonnegative circuit polynomials and optimal SONC bounds	1
Editorial Board	1
An extension of holonomic sequences: C2-finite sequences	1
A “pseudo-polynomial” algorithm for the Frobenius number and Gröbner basis	1