Journal of Symbolic Computation

Article	Citations
Simplifying regular expressions further	29
Editorial Board	17
Computing the binomial part of a polynomial ideal	16
Computing rational powers of monomial ideals	15
Polynomial modular product verification and its implications	14
Bit complexity for computing one point in each connected component of a smooth real algebraic set	13
First-order factors of linear Mahler operators	11
Gram spectrahedra of ternary quartics	9
Strictly positive polynomials in the boundary of the SOS cone	9
Guessing Gröbner bases of structured ideals of relations of sequences	8
Permutations avoiding sets of patterns with long monotone subsequences	8
Autocovariance varieties of moving average random fields	8
WITHDRAWN: A post-quantum key exchange protocol from the intersection of conics	7
Computation of positively graded filiform nilpotent Lie algebras in low dimensions	7
Saturations of subalgebras, SAGBI bases, and U-invariants	7
Computation of orders and cycle lengths of automorphisms of finite solvable groups	7
Machine learning invariants of arithmetic curves	7
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	7
Two-step Newton's method for deflation-one singular zeros of analytic systems	6
Editorial Board	6
Isolating all the real roots of a mixed trigonometric-polynomial	6
Deformations of half-canonical Gorenstein curves in codimension four	6
Positivity proofs for linear recurrences through contracted cones	6
Computing quotients by connected solvable groups	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
Machine learning parameter systems, Noether normalisations and quasi-stable positions	6
Foreword: Special issue of JSC on the occasion of MEGA 2019	6
Orthogonal-symplectic matrices and their parametric representation	5
SONC optimization and exact nonnegativity certificates via second-order cone programming	5
Computational Algebra and Geometry: A special issue in memory and honor of Agnes Szanto	5
Corrigendum to “On the cactus rank of cubics forms” [J. Symb. Comput. 50 (2013) 291–297]	5
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences	5
Shifted varieties and discrete neighborhoods around varieties	5
Sections of Dupin cyclides and their focal properties	5
Measuring the local non-convexity of real algebraic curves	5
Axioms for a theory of signature bases	5
Local dual spaces and primary decomposition	5
Reduction-based creative telescoping for P-recursive sequences via integral bases	5
On the existence and convergence of formal power series solutions of nonlinear Mahler equations	5
Stream/block ciphers, difference equations and algebraic attacks	4
Effects of reducing redundant parameters in parameter optimization for symbolic regression using genetic programming	4
Algebraic number fields and the LLL algorithm	4
Decomposition loci of tensors	4
Enumerating seating arrangements that obey social distancing	4
Squarefree normal representation of zeros of zero-dimensional polynomial systems	4
The anisotropic part of a quadratic form over a number field	4
Tensor decompositions on simplicial complexes with invariance	4
Initial steps in the classification of maximal mediated sets	4
Computing implicitizations of multi-graded polynomial maps	4
Structural identifiability of series-parallel LCR systems	4
Creative telescoping for hypergeometric double sums	4
Wilf-Zeilberger seeds and non-trivial hypergeometric identities	4
Fast commutative matrix algorithms	4
Absolute concentration robustness: Algebra and geometry	4
Limits of real bivariate rational functions	4
Editorial Board	4
A counterexample to a conjecture on simultaneous Waring identifiability	4
A new general formula for the Cauchy index on an interval with subresultants	4
Perfect refiners for permutation group backtracking algorithms	4
The deviation on cranks of partitions	4
Moment varieties of the inverse Gaussian and gamma distributions are nondefective	4
Graph sequence learning for premise selection	4
Reduction systems and degree bounds for integration	4
Stabilized recovery and model reduction for multivariate exponential polynomials	4
Invariants of SDP exactness in quadratic programming	4
On surfaces of minimal degree in P	4
Computing finite and infinite free resolutions with Pommaret-like bases	4
Nash conditional independence curve	3
A post-quantum key exchange protocol from the intersection of conics	3
Certified simultaneous isotopic approximation of algebraic curves via subdivision	3
Computing free non-commutative Gröbner bases over Z with Singular:Lett	3
Sagbi combinatorics of maximal minors and a Sagbi algorithm	3
Semantics of division for polynomial solvers	3
The integral closure of a primary ideal is not always primary	3

The span of singular tuples of a tensor beyond the boundary format	3
Computing tropical bitangents to smooth quartic curves in polymake	3
The Chow-Lam form	3
Efficient rational creative telescoping	3
Reflection groups and cones of sums of squares	3
Quantifier elimination for normal cone computations	3
Liouvillian solutions of Whittaker-Ince equation	3
Smooth points on semi-algebraic sets	3
Jacobi stability analysis for systems of ODEs with symbolic computation	3
Computing a group action from the class field theory of imaginary hyperelliptic function fields	3
Computing primitive idempotents in finite commutative rings and applications	3
Computing pullback function of second order differential operators by using their semi-invariants	3
On symmetry adapted bases in trigonometric optimization	3
On parametric semidefinite programming with unknown boundaries	3
MacMahon's partition analysis XV: Parity	2
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited	2
Disjoint direct product decompositions of permutation groups	2
Solving degree, last fall degree, and related invariants	2
Computing positive tropical varieties and lower bounds on the number of positive roots	2
Special issue of JSC on the occasion of MEGA 2021	2
Staged tree models with toric structure	2
Probabilistic analysis of block Wiedemann for leading invariant factors	2
Constructively describing orbit spaces of finite groups by few inequalities	2
Linear preservers of secant varieties and other varieties of tensors	2
Regular orbits of finite primitive solvable groups, the final classification	2
Neurons on amoebae	2
Simultaneous Rational Function Reconstruction with errors: Handling multiplicities and poles	2
Coupled cluster degree of the Grassmannian	2
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
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one	2
Arithmetic of D-algebraic functions	2
Strict inclusions of high rank loci	2
Logarithmic Voronoi cells for Gaussian models	2
An effective decomposition theorem for Schubert varieties	2
Secant varieties of Segre-Veronese varieties	2
Catalecticant intersections and confinement of decompositions of forms	2
Editorial Board	2
Groups whose orders factorise into at most four primes	2
Two algorithms for computing the general component of jet scheme and applications	2
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form	2
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results	2
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell	2
Polynomial-division-based algorithms for computing linear recurrence relations	2
Computing character tables and Cartan matrices of finite monoids with fixed point counting	2
Exact moment representation in polynomial optimization	2
Parallelization of triangular decompositions: Techniques and implementation	2
Editorial Board	2
Computing generating sets of minimal size in finite algebras	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
Computation of Macaulay constants and degree bounds for Gröbner bases	2
On Elkies' method for bounding the transitivity degree of Galois groups	2
The Smith normal form and reduction of weakly linear matrices	2
Symmetry in multivariate ideal interpolation	2
A fast algorithm for denumerants with three variables	1
Editorial Board	1
Computing splitting fields using Galois theory and other Galois constructions	1
Computing component groups of stabilizers of nilpotent orbit representatives	1
Signature-based standard basis algorithm under the framework of GVW algorithm	1
q-Gosper algorithm and simple Bailey pairs	1
Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp	1
Satisfiability Modulo Theories for Verifying MILP Certificates	1
Representation of hypergeometric products of higher nesting depths in difference rings	1
Foreword	1
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients	1
Editorial Board	1
Toward finiteness of central configurations for the planar six-body problem by symbolic computations. (I) Determine diagrams and orders	1
Bivariate polynomial reduction and elimination ideal over finite fields	1
Editorial Board	1
Editorial Board	1
Effective approximation of the solutions of algebraic equations	1
Persistent components in Canny's generalized characteristic polynomial	1
Entropy of tropical holonomic sequences	1
An extension of holonomic sequences: C2-finite sequences	1
On the log-concavity of the n-th root of sequences	1
MacWilliams' Extension Theorem for rank-metric codes	1
A propositional encoding for first-order clausal entailment over infinitely many constants	1
Editorial Board	1
Lower bounds on the rank and symmetric rank of real tensors	1

On magic distinct labellings of simple graphs	1
Solving second order homogeneous differential equations in terms of Heun's general function	1
D-algebraic functions	1
Algorithm for studying polynomial maps and reductions modulo prime number	1
The critical curvature degree of an algebraic variety	1
Solving polynomial systems over non-fields and applications to modular polynomial factoring	1
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations	1
Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians	1
Certified Hermite matrices from approximate roots	1
Formations of finite groups in polynomial time: F-residuals and	1
On certain polynomial systems involving Stirling numbers of second kind	1
A note on the relation between recognisable series and regular sequences, and their minimal linear representations	1
Symmetric SAGE and SONC forms, exactness and quantitative gaps	1
On the classification of foliations of degree three with one singularity	1
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach	1
On the dimension of the solution space of linear difference equations over the ring of infinite sequences	1
On the connectedness of multistationarity regions of small reaction networks	1
Computing Galois groups of Fano problems	1
Mixed volumes of networks with binomial steady-states	1
Geometric interpretations of compatibility for fundamental matrices	1
Editorial Board	1
Geometric complexity theory for product-plus-power	1
A geometric algorithm for the factorization of rational motions in conformal three space	1
Syzygies, constant rank, and beyond	1
An in-place truncated Fourier transform	1
Finite group characters on free resolutions	1
Certified numerical real root isolation for bivariate nonlinear systems	1
Standard generators of finite fields and their cyclic subgroups	1
Certification for polynomial systems via square subsystems	1
Dissimilar subalgebras of symmetry algebra of plasticity equations	1
Partial semiorthogonal decompositions for quiver moduli	1
Solving parametric systems of polynomial equations over the reals through Hermite matrices	1
Invariant neural architecture for learning term synthesis in instantiation proving	1
Bounds for degrees of syzygies of polynomials defining a grade two ideal	1
Viro's patchworking and the signed reduced A-discriminant	1
On arrangements of quadrics in decomposing the parameter space of 3D digitized rigid motions	1
Computing integral bases via localization and Hensel lifting	1
Existence and convergence of Puiseux series solutions for autonomous first order differential equations	1
Sextactic points on the Fermat cubic curve and arrangements of conics	1
On cyclic codes over Zq	1
Some fast algorithms multiplying a matrix by its adjoint	1