Journal of Symbolic Computation

Article	Citations
Heuristics to sift extraneous factors in Dixon resultants	28
On the computation of identities relating partition numbers in arithmetic progressions with eta quotients: An implementation of Radu's algorithm	24
On rational and hypergeometric solutions of linear ordinary difference equations in ΠΣ⁎-field extensions	24
Explicit formulas of Euler sums via multiple zeta values	15
A census of small transitive groups and vertex-transitive graphs	14
Neurons on amoebae	13
Wasserstein distance to independence models	12
Separation bounds for polynomial systems	12
Chordal graphs in triangular decomposition in top-down style	12
Polynomial reduction and supercongruences	11
New ways to multiply 3 × 3-matrices	10
Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations	10
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition	10
Identifiability in phylogenetics using algebraic matroids	9
Automated proof of mixed trigonometric-polynomial inequalities	9
Machine-learning the Sato–Tate conjecture	8
Multivariate interpolation: Preserving and exploiting symmetry	8
Machine learning invariants of arithmetic curves	8
Solving degree, last fall degree, and related invariants	8
A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix	8
Existence and convergence of Puiseux series solutions for autonomous first order differential equations	8
Distance to the stochastic part of phylogenetic varieties	7
KP solitons from tropical limits	7
Coisotropic hypersurfaces in Grassmannians	7
Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux	7

SONC optimization and exact nonnegativity certificates via second-order cone programming	7
Toward the best algorithm for approximate GCD of univariate polynomials	6
Efficient rational creative telescoping	6
On exact Reznick, Hilbert-Artin and Putinar's representations	6
qFunctions – A Mathematica package for q-series and partition theory applications	6
Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics	6
Solving determinantal systems using homotopy techniques	6
Unexpected hypersurfaces with multiple fat points	5
Effective computations of the Atiyah-Bott formula	5
Noetherian operators and primary decomposition	5
Solving parametric systems of polynomial equations over the reals through Hermite matrices	5
Algorithms for simultaneous Hermite–Padé approximations	5
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra	5
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT	5
Log-concavity of P-recursive sequences	5
Algebraic equations for constant width curves and Zindler curves	5
Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four	5
The complexity of subdivision for diameter-distance tests	5
Removing apparent singularities of linear difference systems	5
On the maximal number of real embeddings of minimally rigid graphs in	5
Reflection groups and cones of sums of squares	5
Computing critical points for invariant algebraic systems	5
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one	5
Machine learning the real discriminant locus	5
Combinatorial decompositions for monomial ideals	4
Rank computation in Euclidean Jordan algebras	4
Ranks and symmetric ranks of cubic surfaces	4
In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: The adaptive variants	4
Galois groups over rational function fields and Explicit Hilbert Irreducibility	4
On a tropical version of the Jacobian conjecture	4
A signature-based algorithm for computing the nondegenerate locus of a polynomial system	4
Truncated normal forms for solving polynomial systems: Generalized and efficient algorithms	4
Duality of sum of nonnegative circuit polynomials and optimal SONC bounds	4
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited	4
Staged tree models with toric structure	4
Standard bases over Euclidean domains	4
On the solutions of holonomic third-order linear irreducible differential equations in terms of hypergeometric functions	4
Quasi-independence models with rational maximum likelihood estimator	4
A new general formula for the Cauchy index on an interval with subresultants	4
Computing strong regular characteristic pairs with Gröbner bases	4
Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems	3
Critical configurations for two projective views, a new approach	3
Computing real radicals and S-radicals of polynomial systems	3
Multilinear polynomial systems: Root isolation and bit complexity	3
On computing the degree of a Chebyshev Polynomial from its value	3
Symmetry in multivariate ideal interpolation	3
Constructive arithmetics in Ore localizations enjoying enough commutativity	3
Measuring the local non-convexity of real algebraic curves	3
A fast parallel sparse polynomial GCD algorithm	3
Reducing radicals in the spirit of Euclid	3

An in-place truncated Fourier transform	3
Computing pullback function of second order differential operators by using their semi-invariants	3
Rationalizability of square roots	3
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs	3
Efficiently factoring polynomials modulo p4	3
Exact algorithms for semidefinite programs with degenerate feasible set	3
On the primary decomposition of some determinantal hyperedge ideal	3
Voronoi cells of varieties	3
A certified iterative method for isolated singular roots	3
Saturations of subalgebras, SAGBI bases, and U-invariants	3
A condition for multiplicity structure of univariate polynomials	3
Certification for polynomial systems via square subsystems	3
Stream/block ciphers, difference equations and algebraic attacks	3
The card guessing game: A generating function approach	3
Regular orbits of finite primitive solvable groups, the final classification	3
On initials and the fundamental theorem of tropical partial differential algebraic geometry	3
Computing nearby non-trivial Smith forms	2
Computing with Tarski formulas and semi-algebraic sets in a web browser	2
Tensor decomposition for learning Gaussian mixtures from moments	2
Noncommutative algebras, context-free grammars and algebraic Hilbert series	2
Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation	2
Proof of a supercongruence via the Wilf–Zeilberger method	2
Computing Galois groups of Fano problems	2
Characterizing positively invariant sets: Inductive and topological methods	2
Topological types of actions on curves	2
Groups whose orders factorise into at most four primes	2
Unirational differential curves and differential rational parametrizations	2
Isolating all the real roots of a mixed trigonometric-polynomial	2
Betti sequence of the projective closure of affine monomial curves	2
A generic and executable formalization of signature-based Gröbner basis algorithms	2
Construction of free differential algebras by extending Gröbner-Shirshov bases	2
Levelwise construction of a single cylindrical algebraic cell	2
Parallelization of triangular decompositions: Techniques and implementation	2
On the classification of foliations of degree three with one singularity	2
Efficient Gröbner bases computation over principal ideal rings	2
Lower bounds on the rank and symmetric rank of real tensors	2
Polynomial-time proofs that groups are hyperbolic	2
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients	2
Entropy of tropical holonomic sequences	2
Equivalence and reduction of bivariate polynomial matrices to their Smith forms	2
On the existence of telescopers for rational functions in three variables	2
Certified numerical real root isolation for bivariate nonlinear systems	2
Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares	2
Sagbi combinatorics of maximal minors and a Sagbi algorithm	2
Computing integral bases via localization and Hensel lifting	2
Initial steps in the classification of maximal mediated sets	2
Representation of non-special curves of genus 5 as plane sextic curves and its application to finding curves with many rational points	2
Stronger bounds on the cost of computing Gröbner bases for HFE systems	2
On affine tropical F5 algorithms	2
Catalan-many tropical morphisms to trees; Part I: Constructions	2
An extension of holonomic sequences: C2-finite sequences	2
Verification protocols with sub-linear communication for polynomial matrix operations	2
Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields	2
On the efficiency of solving Boolean polynomial systems with the characteristic set method	2
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure	2
Strict inclusions of high rank loci	2
Computing the Lie algebra of the differential Galois group: The reducible case	2
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences	2
Representation of hypergeometric products of higher nesting depths in difference rings	2
Fast transforms over finite fields of characteristic two	2
Algorithms for computing greatest common divisors of parametric multivariate polynomials	2
Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals	2
Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians	2
Computing valuations of the Dieudonné determinants	2
Perfect refiners for permutation group backtracking algorithms	2
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	2
Powers of monomial ideals and the Ratliff–Rush operation	1
Special issue on Algebraic Geometry and Machine Learning	1
Computations of Gromov–Witten invariants of toric varieties	1
A method of verifying partition congruences by symbolic computation	1
Squarefree normal representation of zeros of zero-dimensional polynomial systems	1
q-Gosper algorithm and simple Bailey pairs	1
Hypergeometric-type sequences	1
Condition numbers for the cube. I: Univariate polynomials and hypersurfaces	1
Two algorithms for computing the general component of jet scheme and applications	1
q-Rational reduction and q-analogues of series for π	1
An effective decomposition theorem for Schubert varieties	1
Computing the real Weyl group	1
Distance invariant method for normalization of indexed differentials	1
Convolutions of Liouvillian sequences	1

Simultaneous Rational Function Reconstruction with errors: Handling multiplicities and poles	1
Skew-polynomial-sparse matrix multiplication	1
Multivariate volume, Ehrhart, and h⁎-polynomials of polytropes	1
Some fast algorithms multiplying a matrix by its adjoint	1
Exact p-adic computation in Magma	1
Rational solutions to the first order difference equations in the bivariate difference field	1
Toric geometry of entropic regularization	1
Deformations of half-canonical Gorenstein curves in codimension four	1
Computing invariants for multipersistence via spectral systems and effective homology	1
The critical curvature degree of an algebraic variety	1
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell	1
New bounds and an efficient algorithm for sparse difference resultants	1
Towards cluster duality for Lagrangian and orthogonal Grassmannians	1
Cyclic distances of idempotent convolutional codes	1
Polynomial-division-based algorithms for computing linear recurrence relations	1
Weingarten calculus and the IntHaar package for integrals over compact matrix groups	1
Number of moduli for a union of smooth curves in (1
Symmetric polynomials in upper-bound semirings	1
Sextactic points on the Fermat cubic curve and arrangements of conics	1
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations	1
Disjoint direct product decompositions of permutation groups	1
Polynomial modular product verification and its implications	1
Nash conditional independence curve	1
Reconstruction of rational ruled surfaces from their silhouettes	1
Cohomology with local coefficients and knotted manifolds	1
Moh's example of algebroid space curves	1
Computing representation matrices for the action of Frobenius on cohomology groups	1
Decomposing tropical rational functions	1
The integral closure of a primary ideal is not always primary	1
Computing generating sets of minimal size in finite algebras	1
Symbolic analysis of multiple steady states in a MAPK chemical reaction network	1
Sparse polynomial interpolation based on derivatives	1
Fast computation of the centralizer of a permutation group in the symmetric group	1
Homogeneous Einstein metrics on Stiefel manifolds associated to flag manifolds with two isotropy summands	1
A fast algorithm for computing multiplicative relations between the roots of a generic polynomial	1
On the termination of the general XL algorithm and ordinary multinomials	1
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach	1
Computation of Macaulay constants and degree bounds for Gröbner bases	1
Variadic equational matching in associative and commutative theories	1
A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals	1
Gram spectrahedra of ternary quartics	1
PTOPO: Computing the geometry and the topology of parametric curves	1
Homogeneous spaces of real simple Lie groups with proper actions of non virtually abelian discrete subgroups: A computational approach	1
Counting invariant subspaces and decompositions of additive polynomials	1
Gröbner bases for (partial) flag manifolds	1
Finite group characters on free resolutions	1
Computing rational powers of monomial ideals	1
Recursive structures in involutive bases theory	1
Computing splitting fields using Galois theory and other Galois constructions	1
WhyMP, a formally verified arbitrary-precision integer library	1
Computing the Schur multipliers of the Lie p-rings in the family defined by a symbolic Lie p-ring presentation	1
General non-realizability certificates for spheres with linear programming	1
A linear-algebraic method to compute polynomial PDE conservation laws	1
On the generating functions of pattern-avoiding Motzkin paths	1
A new algorithm for computing staggered linear bases	1
Necklaces count polynomial parametric osculants	1
Normal bases from 1-dimensional algebraic groups	1
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results	1
Degrees of Kalman varieties of tensors	1
Computing free non-commutative Gröbner bases over Z with Singular:Lett	1
MacWilliams' Extension Theorem for rank-metric codes	1
An approach for computing families of multi-branch-point covers and applications for symplectic Galois groups	1
On surfaces of minimal degree in P	1
Smooth points on semi-algebraic sets	1
Signatures of algebraic curves via numerical algebraic geometry	1
Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases	1
Computing the resolution regularity of bi-homogeneous ideals	1