Journal of Symbolic Computation

Article	Citations
A post-quantum key exchange protocol from the intersection of conics	29
Computing Galois groups of Fano problems	28
Editorial Board	24
Degree bounds for Gröbner bases of modules	14
The anisotropic part of a quadratic form over a number field	13
Toric geometry of entropic regularization	12
Editorial Board	11
Symbolic analysis of multiple steady states in a MAPK chemical reaction network	10
Segre-driven radicality testing	10
A counterexample to a conjecture on simultaneous Waring identifiability	10
Invariants of SDP exactness in quadratic programming	10
Editorial Board	10
Tensor decompositions on simplicial complexes with invariance	8
Universal equations for maximal isotropic Grassmannians	8
Editorial Board	8
Staged tree models with toric structure	8
Editorial Board	7
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one	7
Fast computation of the N-th term of a q-holonomic sequence and applications	7
On cyclic codes over Zq	7
Computing the binomial part of a polynomial ideal	7
Solving degree, last fall degree, and related invariants	6
Polynomial modular product verification and its implications	6
Positive definiteness of infinite and finite dimensional generalized Hilbert tensors and generalized Cauchy tensor	6
WhyMP, a formally verified arbitrary-precision integer library	6

The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients	6
Condition numbers for the cube. I: Univariate polynomials and hypersurfaces	6
A linear-algebraic method to compute polynomial PDE conservation laws	6
Computing character tables and Cartan matrices of finite monoids with fixed point counting	5
On a tropical version of the Jacobian conjecture	5
A fast algorithm for computing multiplicative relations between the roots of a generic polynomial	5
Degrees of Kalman varieties of tensors	5
Cohomology with local coefficients and knotted manifolds	5
Multilinear polynomial systems: Root isolation and bit complexity	5
Existence and convergence of Puiseux series solutions for autonomous first order differential equations	5
A nearly optimal algorithm to decompose binary forms	5
Multivariate interpolation: Preserving and exploiting symmetry	5
On the connectedness of multistationarity regions of small reaction networks	5
Strict inclusions of high rank loci	5
Certification for polynomial systems via square subsystems	5
Bit complexity for computing one point in each connected component of a smooth real algebraic set	4
On surfaces of minimal degree in P	4
Solving polynomial systems over non-fields and applications to modular polynomial factoring	4
Sextactic points on the Fermat cubic curve and arrangements of conics	4
Stabilized recovery and model reduction for multivariate exponential polynomials	4
A new general formula for the Cauchy index on an interval with subresultants	4
Rationalizability of square roots	4
Entropy of tropical holonomic sequences	4
An effective decomposition theorem for Schubert varieties	4
Proof of a supercongruence via the Wilf–Zeilberger method	4
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure	4
Multivariate volume, Ehrhart, and h⁎-polynomials of polytropes	4
Submodule approach to creative telescoping	4
Tropical Newton-Puiseux polynomials II	4
A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix	3
Voronoi diagrams of algebraic varieties under polyhedral norms	3
An extension of holonomic sequences: C2-finite sequences	3
Homogeneous spaces of real simple Lie groups with proper actions of non virtually abelian discrete subgroups: A computational approach	3
Number of moduli for a union of smooth curves in (3
Computing critical points for invariant algebraic systems	3
MacMahon's partition analysis XV: Parity	3
Efficient rational creative telescoping	3
Arithmetic of D-algebraic functions	3
Computing rational powers of monomial ideals	3
On the computation of Gröbner bases for matrix-weighted homogeneous systems	3
Editorial Board	3
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell	3
Computing valuations of the Dieudonné determinants	3
WITHDRAWN: A post-quantum key exchange protocol from the intersection of conics	3
Squarefree normal representation of zeros of zero-dimensional polynomial systems	3
On rational and hypergeometric solutions of linear ordinary difference equations in ΠΣ⁎-field extensions	3
Analytic integrability of quasi-homogeneous systems via the Yoshida method	3
On symbolic integration of algebraic functions	3
Saturations of subalgebras, SAGBI bases, and U-invariants	3
Permutations avoiding sets of patterns with long monotone subsequences	3

Representation of non-special curves of genus 5 as plane sextic curves and its application to finding curves with many rational points	3
An in-place truncated Fourier transform	3
Efficient computation of Cantor's division polynomials of hyperelliptic curves over finite fields	3
Simplifying regular expressions further	3
Computing strong regular characteristic pairs with Gröbner bases	3
Wasserstein distance to independence models	2
Bivariate polynomial reduction and elimination ideal over finite fields	2
Strictly positive polynomials in the boundary of the SOS cone	2
Guessing Gröbner bases of structured ideals of relations of sequences	2
Lower bounds on the rank and symmetric rank of real tensors	2
Computing with Tarski formulas and semi-algebraic sets in a web browser	2
Effective spectral systems relating Serre and Eilenberg–Moore spectral sequences	2
Toward finiteness of central configurations for the planar six-body problem by symbolic computations. (I) Determine diagrams and orders	2
Levelwise construction of a single cylindrical algebraic cell	2
Variadic equational matching in associative and commutative theories	2
Bounds for degrees of syzygies of polynomials defining a grade two ideal	2
Towards cluster duality for Lagrangian and orthogonal Grassmannians	2
Powers of monomial ideals and the Ratliff–Rush operation	2
An unwinding number pair for continuous expressions of integrals	2
A fast parallel sparse polynomial GCD algorithm	2
Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields	2
Editorial Board	2
Fast evaluation and root finding for polynomials with floating-point coefficients	2
Gram spectrahedra of ternary quartics	2
Autocovariance varieties of moving average random fields	2
Machine learning invariants of arithmetic curves	2
Polynomial-division-based algorithms for computing linear recurrence relations	2
Solving parametric systems of polynomial equations over the reals through Hermite matrices	2
On the classification of foliations of degree three with one singularity	2
Computing pullback function of second order differential operators by using their semi-invariants	2
Computations of Gromov–Witten invariants of toric varieties	2
Counting solutions of a polynomial system locally and exactly	2
Signature-based standard basis algorithm under the framework of GVW algorithm	2
A note on the relation between recognisable series and regular sequences, and their minimal linear representations	2
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited	2
On the dimension of the solution space of linear difference equations over the ring of infinite sequences	2
Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four	2
Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases	2
A condition for multiplicity structure of univariate polynomials	2
Computing a group action from the class field theory of imaginary hyperelliptic function fields	2
Computation of positively graded filiform nilpotent Lie algebras in low dimensions	2
The dimension of the moduli spaces of curves defined by topologically non quasi-homogeneous functions	2
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	2
Formations of finite groups in polynomial time: F-residuals and	2
Computation of orders and cycle lengths of automorphisms of finite solvable groups	2
Efficient q-integer linear decomposition of multivariate polynomials	2
Quartic monoid surfaces with maximum number of lines	1
Editorial Board	1
On eigenvalues of symmetric matrices with PSD principal submatrices	1
Algebraic equations for constant width curves and Zindler curves	1
A short proof for the parameter continuation theorem	1
MacWilliams' Extension Theorem for rank-metric codes	1
Unirational differential curves and differential rational parametrizations	1
A certified iterative method for isolated singular roots	1
Editorial Board	1
Fast computation of the centralizer of a permutation group in the symmetric group	1
Solving determinantal systems using homotopy techniques	1
Two-step Newton's method for deflation-one singular zeros of analytic systems	1
Certified numerical real root isolation for bivariate nonlinear systems	1
Graceful bases in solution spaces of differential and difference equations	1
Fast transforms over finite fields of characteristic two	1
Computing quotients by connected solvable groups	1
On the generating functions of pattern-avoiding Motzkin paths	1
A generic and executable formalization of signature-based Gröbner basis algorithms	1
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations	1
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach	1
On initials and the fundamental theorem of tropical partial differential algebraic geometry	1
Machine-learning the Sato–Tate conjecture	1
Computing the multilinear factors of lacunary polynomials without heights	1
Noetherian operators and primary decomposition	1
Computing primitive idempotents in finite commutative rings and applications	1
Symmetric SAGE and SONC forms, exactness and quantitative gaps	1
Special issue on Symbolic and Algebraic Computation: ISSAC 2021	1
Reflection groups and cones of sums of squares	1
On symmetry adapted bases in trigonometric optimization	1
Editorial Board	1
Quasi-independence models with rational maximum likelihood estimator	1
Duality of sum of nonnegative circuit polynomials and optimal SONC bounds	1
Effective approximation of the solutions of algebraic equations	1
On the termination of the general XL algorithm and ordinary multinomials	1

Critical configurations for two projective views, a new approach	1
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences	1
Reduction-based creative telescoping for definite summation of D-finite functions	1
Voronoi cells of varieties	1
Shifted varieties and discrete neighborhoods around varieties	1
Sagbi combinatorics of maximal minors and a Sagbi algorithm	1
Effective computations of the Atiyah-Bott formula	1
Some fast algorithms multiplying a matrix by its adjoint	1
Isolating all the real roots of a mixed trigonometric-polynomial	1
SONC optimization and exact nonnegativity certificates via second-order cone programming	1
Editorial Board	1
Computing free non-commutative Gröbner bases over Z with Singular:Lett	1
Foreword: Special issue of JSC on the occasion of MEGA 2019	1
Memories on Vladimir Gerdt	1
Standard generators of finite fields and their cyclic subgroups	1
A semi-numerical algorithm for the homology lattice and periods of complex elliptic surfaces over	1
Computing tropical bitangents to smooth quartic curves in polymake	1
Exact p-adic computation in Magma	1
Sparse polynomial interpolation based on derivatives	1
Editorial Board	1
Deformations of half-canonical Gorenstein curves in codimension four	1
Machine learning parameter systems, Noether normalisations and quasi-stable positions	1
Computing invariants for multipersistence via spectral systems and effective homology	1
On the dynamics of semilattice networks	1
On parametric semidefinite programming with unknown boundaries	1
Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares	1
Approximate square-free part and decomposition	1
New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices	1
A unified FFT-based approach to maximum assignment problems related to transitive finite group actions	1
Simultaneous Rational Function Reconstruction with errors: Handling multiplicities and poles	1
Smooth points on semi-algebraic sets	1
Computing the real Weyl group	1
Computing integral bases via localization and Hensel lifting	1
Reducing radicals in the spirit of Euclid	1
Semialgebraic sets and real binary forms decompositions	1