Journal of Symbolic Computation

Article	Citations
Computing rational powers of monomial ideals	28
Polynomial modular product verification and its implications	27
Editorial Board	16
Simplifying regular expressions further	16
Bit complexity for computing one point in each connected component of a smooth real algebraic set	13
First-order factors of linear Mahler operators	13
Computing the binomial part of a polynomial ideal	13
Strictly positive polynomials in the boundary of the SOS cone	11
WITHDRAWN: A post-quantum key exchange protocol from the intersection of conics	11
Guessing Gröbner bases of structured ideals of relations of sequences	9
Autocovariance varieties of moving average random fields	8
Saturations of subalgebras, SAGBI bases, and U-invariants	8
Computation of orders and cycle lengths of automorphisms of finite solvable groups	8
Computation of positively graded filiform nilpotent Lie algebras in low dimensions	8
Machine learning invariants of arithmetic curves	8
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	7
Gram spectrahedra of ternary quartics	7
Permutations avoiding sets of patterns with long monotone subsequences	7
Computing quotients by connected solvable groups	6
Orthogonal-symplectic matrices and their parametric representation	6
Efficient q-integer linear decomposition of multivariate polynomials	6
Deformations of half-canonical Gorenstein curves in codimension four	6
Isolating all the real roots of a mixed trigonometric-polynomial	6
Machine learning parameter systems, Noether normalisations and quasi-stable positions	6
SONC optimization and exact nonnegativity certificates via second-order cone programming	6

The conjugacy problem and canonical representatives in finitely generated nilpotent groups	6
A unified FFT-based approach to maximum assignment problems related to transitive finite group actions	6
Foreword: Special issue of JSC on the occasion of MEGA 2019	6
Local dual spaces and primary decomposition	6
Two-step Newton's method for deflation-one singular zeros of analytic systems	6
Editorial Board	6
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences	5
Computational Algebra and Geometry: A special issue in memory and honor of Agnes Szanto	5
On the existence and convergence of formal power series solutions of nonlinear Mahler equations	5
qFunctions – A Mathematica package for q-series and partition theory applications	5
Shifted varieties and discrete neighborhoods around varieties	5
Algebraic number fields and the LLL algorithm	5
Wilf-Zeilberger seeds and non-trivial hypergeometric identities	5
Axioms for a theory of signature bases	5
Measuring the local non-convexity of real algebraic curves	5
Fast commutative matrix algorithms	5
Sections of Dupin cyclides and their focal properties	5
Structural identifiability of series-parallel LCR systems	4
Tensor decompositions on simplicial complexes with invariance	4
The anisotropic part of a quadratic form over a number field	4
Stabilized recovery and model reduction for multivariate exponential polynomials	4
Computing finite and infinite free resolutions with Pommaret-like bases	4
Effects of reducing redundant parameters in parameter optimization for symbolic regression using genetic programming	4
Creative telescoping for hypergeometric double sums	4
Editorial Board	4
Initial steps in the classification of maximal mediated sets	4
Reduction systems and degree bounds for integration	4
Invariants of SDP exactness in quadratic programming	4
A new general formula for the Cauchy index on an interval with subresultants	4
A post-quantum key exchange protocol from the intersection of conics	4
Decomposition loci of tensors	4
The deviation on cranks of partitions	4
Graph sequence learning for premise selection	4
Enumerating seating arrangements that obey social distancing	4
Stream/block ciphers, difference equations and algebraic attacks	4
Perfect refiners for permutation group backtracking algorithms	4
Editorial Board	4
Limits of real bivariate rational functions	4
Absolute concentration robustness: Algebra and geometry	4
Reduction-based creative telescoping for P-recursive sequences via integral bases	4
Corrigendum to “On the cactus rank of cubics forms” [J. Symb. Comput. 50 (2013) 291–297]	4
A counterexample to a conjecture on simultaneous Waring identifiability	3
Computing a group action from the class field theory of imaginary hyperelliptic function fields	3
Efficient rational creative telescoping	3
Smooth points on semi-algebraic sets	3
Sagbi combinatorics of maximal minors and a Sagbi algorithm	3
Quantifier elimination for normal cone computations	3
Two algorithms for computing the general component of jet scheme and applications	3
On symmetry adapted bases in trigonometric optimization	3
Squarefree normal representation of zeros of zero-dimensional polynomial systems	3

On surfaces of minimal degree in P	3
Computing primitive idempotents in finite commutative rings and applications	3
Computing free non-commutative Gröbner bases over Z with Singular:Lett	3
On parametric semidefinite programming with unknown boundaries	3
Regular orbits of finite primitive solvable groups, the final classification	3
Certified simultaneous isotopic approximation of algebraic curves via subdivision	3
Computing pullback function of second order differential operators by using their semi-invariants	3
On rational and hypergeometric solutions of linear ordinary difference equations in ΠΣ⁎-field extensions	3
The Chow-Lam form	3
Reflection groups and cones of sums of squares	3
Semantics of division for polynomial solvers	3
The integral closure of a primary ideal is not always primary	3
Computing tropical bitangents to smooth quartic curves in polymake	3
Fast evaluation of generalized Todd polynomials: Applications to MacMahon's partition analysis and integer programming	2
Levelwise construction of a single cylindrical algebraic cell	2
Arithmetic of D-algebraic functions	2
Strict inclusions of high rank loci	2
Computation of Macaulay constants and degree bounds for Gröbner bases	2
Fast computation of the N-th term of a q-holonomic sequence and applications	2
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra	2
Computing character tables and Cartan matrices of finite monoids with fixed point counting	2
Special issue of JSC on the occasion of MEGA 2021	2
Editorial Board	2
On Elkies' method for bounding the transitivity degree of Galois groups	2
Liouvillian solutions of Whittaker-Ince equation	2
Groups whose orders factorise into at most four primes	2
Computing generating sets of minimal size in finite algebras	2
Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp	2
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell	2
Solving degree, last fall degree, and related invariants	2
Multivariate interpolation: Preserving and exploiting symmetry	2
Logarithmic Voronoi cells for Gaussian models	2
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one	2
Probabilistic analysis of block Wiedemann for leading invariant factors	2
Exact moment representation in polynomial optimization	2
Coupled cluster degree of the Grassmannian	2
Neurons on amoebae	2
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form	2
Disjoint direct product decompositions of permutation groups	2
Staged tree models with toric structure	2
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited	2
Symmetry in multivariate ideal interpolation	2
MacMahon's partition analysis XV: Parity	2
Parallelization of triangular decompositions: Techniques and implementation	2
An effective decomposition theorem for Schubert varieties	2
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results	2
Linear preservers of secant varieties and other varieties of tensors	2
Catalecticant intersections and confinement of decompositions of forms	2
Editorial Board	2
The Smith normal form and reduction of weakly linear matrices	2
Nash conditional independence curve	2
Simultaneous Rational Function Reconstruction with errors: Handling multiplicities and poles	2
The span of singular tuples of a tensor beyond the boundary format	2
Symmetric SAGE and SONC forms, exactness and quantitative gaps	1
Partial semiorthogonal decompositions for quiver moduli	1
D-algebraic functions	1
A propositional encoding for first-order clausal entailment over infinitely many constants	1
Polynomial-division-based algorithms for computing linear recurrence relations	1
Computing splitting fields using Galois theory and other Galois constructions	1
Finite group characters on free resolutions	1
Solving polynomial systems over non-fields and applications to modular polynomial factoring	1
Some fast algorithms multiplying a matrix by its adjoint	1
Syzygies, constant rank, and beyond	1
Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians	1
Certified numerical real root isolation for bivariate nonlinear systems	1
A note on the relation between recognisable series and regular sequences, and their minimal linear representations	1
Dissimilar subalgebras of symmetry algebra of plasticity equations	1
Editorial Board	1
On the log-concavity of the n-th root of sequences	1
Bivariate polynomial reduction and elimination ideal over finite fields	1
On cyclic codes over Zq	1
Effective approximation of the solutions of algebraic equations	1
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients	1
Editorial Board	1
Existence and convergence of Puiseux series solutions for autonomous first order differential equations	1
Geometric interpretations of compatibility for fundamental matrices	1
New bounds and an efficient algorithm for sparse difference resultants	1
Lower bounds on the rank and symmetric rank of real tensors	1
On certain polynomial systems involving Stirling numbers of second kind	1
Signature-based standard basis algorithm under the framework of GVW algorithm	1

Certified Hermite matrices from approximate roots	1
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach	1
Foreword	1
Solving second order homogeneous differential equations in terms of Heun's general function	1
Algorithm for studying polynomial maps and reductions modulo prime number	1
q-Gosper algorithm and simple Bailey pairs	1
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations	1
An extension of holonomic sequences: C2-finite sequences	1
Mixed volumes of networks with binomial steady-states	1
Persistent components in Canny's generalized characteristic polynomial	1
Representation of hypergeometric products of higher nesting depths in difference rings	1
Certification for polynomial systems via square subsystems	1
Sextactic points on the Fermat cubic curve and arrangements of conics	1
Editorial Board	1
On arrangements of quadrics in decomposing the parameter space of 3D digitized rigid motions	1
MacWilliams' Extension Theorem for rank-metric codes	1
The critical curvature degree of an algebraic variety	1
Invariant neural architecture for learning term synthesis in instantiation proving	1
A fast algorithm for denumerants with three variables	1
An in-place truncated Fourier transform	1
Editorial Board	1
A geometric algorithm for the factorization of rational motions in conformal three space	1
On exact Reznick, Hilbert-Artin and Putinar's representations	1
On magic distinct labellings of simple graphs	1
Computing component groups of stabilizers of nilpotent orbit representatives	1
Editorial Board	1
Formations of finite groups in polynomial time: F-residuals and	1
Log-concavity of P-recursive sequences	1
Bounds for degrees of syzygies of polynomials defining a grade two ideal	1
Standard generators of finite fields and their cyclic subgroups	1
On the dimension of the solution space of linear difference equations over the ring of infinite sequences	1
Entropy of tropical holonomic sequences	1
Computing Galois groups of Fano problems	1
Computing integral bases via localization and Hensel lifting	1
On the connectedness of multistationarity regions of small reaction networks	1