Journal of Symbolic Computation

Article	Citations
On a tropical version of the Jacobian conjecture	28
Fast Evaluation of Generalized Todd Polynomials: Applications to MacMahon's Partition Analysis and Integer Programming	24
Arithmetic of D-algebraic functions	24
Computing strong regular characteristic pairs with Gröbner bases	13
A post-quantum key exchange protocol from the intersection of conics	12
Submodule approach to creative telescoping	11
Computing Galois groups of Fano problems	10
On surfaces of minimal degree in P	10
Editorial Board	10
Degree bounds for Gröbner bases of modules	9
A fast algorithm for computing multiplicative relations between the roots of a generic polynomial	8
Certification for polynomial systems via square subsystems	8
Rationalizability of square roots	8
Strict inclusions of high rank loci	8
Analytic integrability of quasi-homogeneous systems via the Yoshida method	8
On symbolic integration of algebraic functions	8
Degrees of Kalman varieties of tensors	7
Toric geometry of entropic regularization	7
Editorial Board	7
The anisotropic part of a quadratic form over a number field	7
Simplifying regular expressions further	7
Symbolic analysis of multiple steady states in a MAPK chemical reaction network	6
A counterexample to a conjecture on simultaneous Waring identifiability	6
Bit complexity for computing one point in each connected component of a smooth real algebraic set	6
Invariants of SDP exactness in quadratic programming	6

Multilinear polynomial systems: Root isolation and bit complexity	6
Editorial Board	6
Segre-driven radicality testing	5
Tensor decompositions on simplicial complexes with invariance	5
Solving polynomial systems over non-fields and applications to modular polynomial factoring	5
Fast computation of the N-th term of a q-holonomic sequence and applications	5
Staged tree models with toric structure	5
Stabilized recovery and model reduction for multivariate exponential polynomials	5
Editorial Board	5
Tropical Newton-Puiseux polynomials II	5
Universal equations for maximal isotropic Grassmannians	5
Editorial Board	5
Multivariate volume, Ehrhart, and h⁎-polynomials of polytropes	5
Computing the binomial part of a polynomial ideal	5
Cohomology with local coefficients and knotted manifolds	4
An effective decomposition theorem for Schubert varieties	4
Voronoi diagrams of algebraic varieties under polyhedral norms	4
Necklaces count polynomial parametric osculants	4
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one	4
WhyMP, a formally verified arbitrary-precision integer library	4
Efficient computation of Cantor's division polynomials of hyperelliptic curves over finite fields	4
Entropy of tropical holonomic sequences	4
A linear-algebraic method to compute polynomial PDE conservation laws	4
Galois groups over rational function fields and Explicit Hilbert Irreducibility	4
Existence and convergence of Puiseux series solutions for autonomous first order differential equations	4
On cyclic codes over Zq	4
Proof of a supercongruence via the Wilf–Zeilberger method	3
On the connectedness of multistationarity regions of small reaction networks	3
Efficient rational creative telescoping	3
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure	3
Saturations of subalgebras, SAGBI bases, and U-invariants	3
A nearly optimal algorithm to decompose binary forms	3
An extension of holonomic sequences: C2-finite sequences	3
An in-place truncated Fourier transform	3
Solving degree, last fall degree, and related invariants	3
Polynomial reduction and supercongruences	3
Condition numbers for the cube. I: Univariate polynomials and hypersurfaces	3
Computing rational powers of monomial ideals	3
Multivariate interpolation: Preserving and exploiting symmetry	3
A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix	3
Solving parametric systems of polynomial equations over the reals through Hermite matrices	3
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients	3
Positive definiteness of infinite and finite dimensional generalized Hilbert tensors and generalized Cauchy tensor	3
On rational and hypergeometric solutions of linear ordinary difference equations in ΠΣ⁎-field extensions	3
Polynomial modular product verification and its implications	3
Squarefree normal representation of zeros of zero-dimensional polynomial systems	3
Sextactic points on the Fermat cubic curve and arrangements of conics	3
A new general formula for the Cauchy index on an interval with subresultants	3
Computing critical points for invariant algebraic systems	3
Gram spectrahedra of ternary quartics	2

On the classification of foliations of degree three with one singularity	2
Computation of orders and cycle lengths of automorphisms of finite solvable groups	2
Polynomial-division-based algorithms for computing linear recurrence relations	2
Homogeneous spaces of real simple Lie groups with proper actions of non virtually abelian discrete subgroups: A computational approach	2
Counting solutions of a polynomial system locally and exactly	2
WITHDRAWN: A post-quantum key exchange protocol from the intersection of conics	2
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited	2
An unwinding number pair for continuous expressions of integrals	2
Variadic equational matching in associative and commutative theories	2
Permutations avoiding sets of patterns with long monotone subsequences	2
Levelwise construction of a single cylindrical algebraic cell	2
Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four	2
Formations of finite groups in polynomial time: F-residuals and	2
Number of moduli for a union of smooth curves in (2
Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases	2
Computing a group action from the class field theory of imaginary hyperelliptic function fields	2
Guessing Gröbner bases of structured ideals of relations of sequences	2
Powers of monomial ideals and the Ratliff–Rush operation	2
Efficient q-integer linear decomposition of multivariate polynomials	2
Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields	2
Computations of Gromov–Witten invariants of toric varieties	2
A condition for multiplicity structure of univariate polynomials	2
Computing valuations of the Dieudonné determinants	2
On the computation of Gröbner bases for matrix-weighted homogeneous systems	2
Editorial Board	2
First-order factors of linear Mahler operators	2
Computing pullback function of second order differential operators by using their semi-invariants	2
Lower bounds on the rank and symmetric rank of real tensors	2
Bounds for degrees of syzygies of polynomials defining a grade two ideal	2
Towards cluster duality for Lagrangian and orthogonal Grassmannians	2
Wasserstein distance to independence models	2
The dimension of the moduli spaces of curves defined by topologically non quasi-homogeneous functions	2
Computation of positively graded filiform nilpotent Lie algebras in low dimensions	2
Editorial Board	2
Combinatorial algorithm for the computation of cyclically standard regular bracket monomials	2
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell	2
Machine learning invariants of arithmetic curves	2
A note on the relation between recognisable series and regular sequences, and their minimal linear representations	2
Effective spectral systems relating Serre and Eilenberg–Moore spectral sequences	2
Autocovariance varieties of moving average random fields	2
Computing with Tarski formulas and semi-algebraic sets in a web browser	2
Toward finiteness of central configurations for the planar six-body problem by symbolic computations. (I) Determine diagrams and orders	2
Representation of non-special curves of genus 5 as plane sextic curves and its application to finding curves with many rational points	2
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	2
On parametric semidefinite programming with unknown boundaries	1
Syzygies, constant rank, and beyond	1
On eigenvalues of symmetric matrices with PSD principal submatrices	1
Definite determinantal representations via orthostochastic matrices	1
Editorial Board	1
On the primary decomposition of some determinantal hyperedge ideal	1
Computing the real Weyl group	1
Semialgebraic sets and real binary forms decompositions	1
A certified iterative method for isolated singular roots	1
Quartic monoid surfaces with maximum number of lines	1
Editorial Board	1
Sparse polynomial interpolation based on derivatives	1
Conjugacy classes and centralisers in wreath products	1
Sagbi combinatorics of maximal minors and a Sagbi algorithm	1
Approximate square-free part and decomposition	1
Fast computation of the centralizer of a permutation group in the symmetric group	1
Foreword: Special issue of JSC on the occasion of MEGA 2019	1
A generic and executable formalization of signature-based Gröbner basis algorithms	1
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach	1
Editorial Board	1
Machine learning parameter systems, Noether normalisations and quasi-stable positions	1
Deformations of half-canonical Gorenstein curves in codimension four	1
Quasi-independence models with rational maximum likelihood estimator	1
Computing integral bases via localization and Hensel lifting	1
Neurons on amoebae	1
Heuristics to sift extraneous factors in Dixon resultants	1
SONC optimization and exact nonnegativity certificates via second-order cone programming	1
Algebraic equations for constant width curves and Zindler curves	1
Editorial Board	1
Foreword	1
A unified FFT-based approach to maximum assignment problems related to transitive finite group actions	1
Noetherian operators and primary decomposition	1
On the generating functions of pattern-avoiding Motzkin paths	1
Memories on Vladimir Gerdt	1
Isolating all the real roots of a mixed trigonometric-polynomial	1
Certified numerical real root isolation for bivariate nonlinear systems	1

Two-step Newton's method for deflation-one singular zeros of analytic systems	1
Solving determinantal systems using homotopy techniques	1
Voronoi cells of varieties	1
On the termination of the general XL algorithm and ordinary multinomials	1
Computing primitive idempotents in finite commutative rings and applications	1
Duality of sum of nonnegative circuit polynomials and optimal SONC bounds	1
Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals	1
MacWilliams' Extension Theorem for rank-metric codes	1
Reduction-based creative telescoping for definite summation of D-finite functions	1
Reducing radicals in the spirit of Euclid	1
Some fast algorithms multiplying a matrix by its adjoint	1
Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials	1
Computing quotients by connected solvable groups	1
Reflection groups and cones of sums of squares	1
Shifted varieties and discrete neighborhoods around varieties	1
An improved complexity bound for computing the topology of a real algebraic space curve	1
Axioms for a theory of signature bases	1
On the dynamics of semilattice networks	1
Machine-learning the Sato–Tate conjecture	1
Moh's example of algebroid space curves	1
Special issue on Symbolic and Algebraic Computation: ISSAC 2021	1
Critical configurations for two projective views, a new approach	1
A constructive method for decomposing real representations	1
Computing tropical bitangents to smooth quartic curves in polymake	1
A fast parallel sparse polynomial GCD algorithm	1
On initials and the fundamental theorem of tropical partial differential algebraic geometry	1
Editorial Board	1
Computing invariants for multipersistence via spectral systems and effective homology	1
Unirational differential curves and differential rational parametrizations	1
Computing the multilinear factors of lacunary polynomials without heights	1
Standard generators of finite fields and their cyclic subgroups	1
Smooth points on semi-algebraic sets	1
Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems	1
Editorial Board	1
Effective approximation of the solutions of algebraic equations	1
Exact p-adic computation in Magma	1
Computing free non-commutative Gröbner bases over Z with Singular:Lett	1
The conjugacy problem and canonical representatives in finitely generated nilpotent groups	1