Journal of Symbolic Computation

Article	Citations
Bit complexity for computing one point in each connected component of a smooth real algebraic set	31
Editorial Board	19
Polynomial modular product verification and its implications	16
Computing the binomial part of a polynomial ideal	16
Computing rational powers of monomial ideals	15
First-order factors of linear Mahler operators	13
Permutations avoiding sets of patterns with long monotone subsequences	13
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	12
Editorial Board	9
Strictly positive polynomials in the boundary of the SOS cone	9
Isolating all the real roots of a mixed trigonometric-polynomial	8
Gram spectrahedra of ternary quartics	8
WITHDRAWN: A post-quantum key exchange protocol from the intersection of conics	8
Guessing Gröbner bases of structured ideals of relations of sequences	8
Machine learning invariants of arithmetic curves	8
Sasbi-standard bases of modules	7
Positivity proofs for linear recurrences through contracted cones	7
Axioms for a theory of signature bases	7
SONC optimization and exact nonnegativity certificates via second-order cone programming	7
A note on the multivariate symmetric Hermite interpolant	7
The conjugacy problem and canonical representatives in finitely generated nilpotent groups	7
Deformations of half-canonical Gorenstein curves in codimension four	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
Local dual spaces and primary decomposition	7

An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences	6
Corrigendum to “On the cactus rank of cubics forms” [J. Symb. Comput. 50 (2013) 291–297]	6
Algebraic number fields and the LLL algorithm	6
Orthogonal-symplectic matrices and their parametric representation	6
Computational Algebra and Geometry: A special issue in memory and honor of Agnes Szanto	6
On the existence and convergence of formal power series solutions of nonlinear Mahler equations	6
q-analogues of π-formulas due to Ramanujan and Guillera	6
Sections of Dupin cyclides and their focal properties	6
Moment varieties of the inverse Gaussian and gamma distributions are nondefective	6
Fast commutative matrix algorithms	5
Enumerating seating arrangements that obey social distancing	5
Decomposition loci of tensors	5
Reduction-based creative telescoping for P-recursive sequences via integral bases	5
Creative telescoping for hypergeometric double sums	5
Structural identifiability of series-parallel LCR systems	5
Wilf-Zeilberger seeds and non-trivial hypergeometric identities	5
Graph sequence learning for premise selection	5
Effects of reducing redundant parameters in parameter optimization for symbolic regression using genetic programming	5
Certified simultaneous isotopic approximation of algebraic curves via subdivision	4
Computing implicitizations of multi-graded polynomial maps	4
Invariants of SDP exactness in quadratic programming	4
The deviation on cranks of partitions	4
A counterexample to a conjecture on simultaneous Waring identifiability	4
Squarefree normal representation of zeros of zero-dimensional polynomial systems	4
Stabilized recovery and model reduction for multivariate exponential polynomials	4
Computing pullback function of second order differential operators by using their semi-invariants	4
Reflection groups and cones of sums of squares	4
Editorial Board	4
Reduction systems and degree bounds for integration	4
Absolute concentration robustness: Algebra and geometry	4
The anisotropic part of a quadratic form over a number field	4
Computing a group action from the class field theory of imaginary hyperelliptic function fields	4
The Chow-Lam form	4
On symmetry adapted bases in trigonometric optimization	4
Tensor decompositions on simplicial complexes with invariance	4
Computing finite and infinite free resolutions with Pommaret-like bases	4
Perfect refiners for permutation group backtracking algorithms	4
Limits of real bivariate rational functions	4
A post-quantum key exchange protocol from the intersection of conics	4
Gröbner-Shirshov bases for free multi-operated algebras over algebras	4
Computing primitive idempotents in finite commutative rings and applications	3
Regular orbits of finite primitive solvable groups, the final classification	3
Computing direct sum decompositions	3
The span of singular tuples of a tensor beyond the boundary format	3
The Smith normal form and reduction of weakly linear matrices	3
Smooth points on semi-algebraic sets	3
Computing tropical bitangents to smooth quartic curves in polymake	3
On parametric semidefinite programming with unknown boundaries	3
Neurons on amoebae	3
Liouvillian solutions of Whittaker-Ince equation	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
Quantifier elimination for normal cone computations	3
Relations among multi-polynomial subresultants	3
Computing free non-commutative Gröbner bases over Z with Singular:Lett	3
Jacobi stability analysis for systems of ODEs with symbolic computation	3
The integral closure of a primary ideal is not always primary	3
Nash conditional independence curve	3
Simultaneous Rational Function Reconstruction with errors: Handling multiplicities and poles	3
Semantics of division for polynomial solvers	3
Sagbi combinatorics of maximal minors and a Sagbi algorithm	3
Symmetry in multivariate ideal interpolation	2
Special issue of JSC on the occasion of MEGA 2021	2
Arithmetic of D-algebraic functions	2
A geometric algorithm for the factorization of rational motions in conformal three space	2
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach	2
Symmetric SAGE and SONC forms, exactness and quantitative gaps	2
Viro's patchworking and the signed reduced A-discriminant	2
MacMahon's partition analysis XV: Parity	2
Some fast algorithms multiplying a matrix by its adjoint	2
Fast computation of the N-th term of a q-holonomic sequence and applications	2
Lower bounds on the rank and symmetric rank of real tensors	2
Levelwise construction of a single cylindrical algebraic cell	2
Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp	2
Fast evaluation of generalized Todd polynomials: Applications to MacMahon's partition analysis and integer programming	2
Logarithmic Voronoi cells for Gaussian models	2
Constructively describing orbit spaces of finite groups by few inequalities	2
Computation of Macaulay constants and degree bounds for Gröbner bases	2
New dimension polynomials of inversive difference field extensions and inversive difference modules	2
Computing positive tropical varieties and lower bounds on the number of positive roots	2
Invariant neural architecture for learning term synthesis in instantiation proving	2
Solving degree, last fall degree, and related invariants	2
Exact moment representation in polynomial optimization	2
Geometric interpretations of compatibility for fundamental matrices	2
Editorial Board	2
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited	2
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell	2
Computing character tables and Cartan matrices of finite monoids with fixed point counting	2
D-algebraic functions	2
Computing generating sets of minimal size in finite algebras	2
Parallelization of triangular decompositions: Techniques and implementation	2
Coupled cluster degree of the Grassmannian	2
Apéry-type series via colored multiple zeta values and Fourier-Legendre series expansions	2
Staged tree models with toric structure	2
Geometric complexity theory for product-plus-power	2
Standard generators of finite fields and their cyclic subgroups	2
MacWilliams' Extension Theorem for rank-metric codes	2
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results	2
Editorial Board	2
An effective decomposition theorem for Schubert varieties	2
Tropical combinatorics of max-linear Bayesian networks	2
Linear preservers of secant varieties and other varieties of tensors	2
Signature-based standard basis algorithm under the framework of GVW algorithm	2
Editorial Board	2
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra	2
q-Gosper algorithm and simple Bailey pairs	1
Machine-learning the Sato–Tate conjecture	1
A fast algorithm for denumerants with three variables	1
Duality of sum of nonnegative circuit polynomials and optimal SONC bounds	1
Certified Hermite matrices from approximate roots	1
A propositional encoding for first-order clausal entailment over infinitely many constants	1
Hypergeometric solutions of linear difference systems	1
Finite group characters on free resolutions	1
Solving polynomial systems over non-fields and applications to modular polynomial factoring	1
Early termination for sparse interpolation of polynomials in Chebyshev bases	1
On the classification of foliations of degree three with one singularity	1
Editorial Board	1
Bivariate polynomial reduction and elimination ideal over finite fields	1
Representation of hypergeometric products of higher nesting depths in difference rings	1
A note on the relation between recognisable series and regular sequences, and their minimal linear representations	1
Syzygies, constant rank, and beyond	1
Foreword	1
Computing Galois groups of Fano problems	1
Editorial Board	1
Algorithm for globally identifiable reparametrizations of ODEs	1
The critical curvature degree of an algebraic variety	1
Critical configurations for two projective views, a new approach	1
Editorial Board	1
Editorial Board	1
Mixed volumes of networks with binomial steady-states	1

Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians	1
Formations of finite groups in polynomial time: F-residuals and	1
On magic distinct labellings of simple graphs	1
Subalgebra and Khovanskii bases equivalence	1
Editorial Board	1
On the dimension of the solution space of linear difference equations over the ring of infinite sequences	1
Certified numerical real root isolation for bivariate nonlinear systems	1
Solving parametric systems of polynomial equations over the reals through Hermite matrices	1
Editorial Board	1
Computing component groups of stabilizers of nilpotent orbit representatives	1
On the connectedness of multistationarity regions of small reaction networks	1
Editorial Board	1
Minimal generating sets for matrix monoids	1
Algebraic equations for constant width curves and Zindler curves	1
Partial semiorthogonal decompositions for quiver moduli	1
A certified iterative method for isolated singular roots	1
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients	1
Computing splitting fields using Galois theory and other Galois constructions	1
An extension of holonomic sequences: C2-finite sequences	1
Dissimilar subalgebras of symmetry algebra of plasticity equations	1
Towards automated generation of fast and accurate algorithms for recursive matrix multiplication	1
Persistent components in Canny's generalized characteristic polynomial	1
On the log-concavity of the n-th root of sequences	1
Bounds for degrees of syzygies of polynomials defining a grade two ideal	1
On arrangements of quadrics in decomposing the parameter space of 3D digitized rigid motions	1
Solving second order homogeneous differential equations in terms of Heun's general function	1
Toward finiteness of central configurations for the planar six-body problem by symbolic computations. (I) Determine diagrams and orders	1
Algorithm for studying polynomial maps and reductions modulo prime number	1
On cyclic codes over Zq	1
Sextactic points on the Fermat cubic curve and arrangements of conics	1
Conjugacy classes and centralisers in wreath products	1
A “pseudo-polynomial” algorithm for the Frobenius number and Gröbner basis	1