Journal of Symbolic Computation

Papers
(The median citation count of Journal of Symbolic Computation is 1. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-08-01 to 2025-08-01.)
ArticleCitations
Editorial Board28
Computing rational powers of monomial ideals26
Simplifying regular expressions further13
Bit complexity for computing one point in each connected component of a smooth real algebraic set13
Polynomial modular product verification and its implications12
Computation of orders and cycle lengths of automorphisms of finite solvable groups12
Computing the binomial part of a polynomial ideal12
Strictly positive polynomials in the boundary of the SOS cone11
WITHDRAWN: A post-quantum key exchange protocol from the intersection of conics10
Permutations avoiding sets of patterns with long monotone subsequences9
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?8
Computation of positively graded filiform nilpotent Lie algebras in low dimensions8
Guessing Gröbner bases of structured ideals of relations of sequences8
Gram spectrahedra of ternary quartics7
Autocovariance varieties of moving average random fields7
Saturations of subalgebras, SAGBI bases, and U-invariants7
Deformations of half-canonical Gorenstein curves in codimension four6
A unified FFT-based approach to maximum assignment problems related to transitive finite group actions6
Computing quotients by connected solvable groups6
Two-step Newton's method for deflation-one singular zeros of analytic systems6
Editorial Board6
Efficient q-integer linear decomposition of multivariate polynomials6
Machine learning parameter systems, Noether normalisations and quasi-stable positions6
Isolating all the real roots of a mixed trigonometric-polynomial6
Foreword: Special issue of JSC on the occasion of MEGA 20196
Machine learning invariants of arithmetic curves6
Shifted varieties and discrete neighborhoods around varieties5
Orthogonal-symplectic matrices and their parametric representation5
Editorial Board5
SONC optimization and exact nonnegativity certificates via second-order cone programming5
Measuring the local non-convexity of real algebraic curves5
qFunctions – A Mathematica package for q-series and partition theory applications5
Local dual spaces and primary decomposition5
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences5
Axioms for a theory of signature bases5
Computational Algebra and Geometry: A special issue in memory and honor of Agnes Szanto5
Enumerating seating arrangements that obey social distancing4
Graph sequence learning for premise selection4
Sections of Dupin cyclides and their focal properties4
Stream/block ciphers, difference equations and algebraic attacks4
Structural identifiability of series-parallel LCR systems4
Perfect refiners for permutation group backtracking algorithms4
Corrigendum to “On the cactus rank of cubics forms” [J. Symb. Comput. 50 (2013) 291–297]4
On the existence and convergence of formal power series solutions of nonlinear Mahler equations4
Initial steps in the classification of maximal mediated sets4
Creative telescoping for hypergeometric double sums4
Absolute concentration robustness: Algebra and geometry4
Algebraic number fields and the LLL algorithm4
Reduction-based creative telescoping for P-recursive sequences via integral bases4
Fast commutative matrix algorithms4
The deviation on cranks of partitions4
On Bézout inequalities for non-homogeneous polynomial ideals4
Stabilized recovery and model reduction for multivariate exponential polynomials3
Invariants of SDP exactness in quadratic programming3
Tensor decompositions on simplicial complexes with invariance3
A post-quantum key exchange protocol from the intersection of conics3
Computing tropical bitangents to smooth quartic curves in polymake3
Computing free non-commutative Gröbner bases over Z with Singular:Lett3
A new general formula for the Cauchy index on an interval with subresultants3
A counterexample to a conjecture on simultaneous Waring identifiability3
Effects of reducing redundant parameters in parameter optimization for symbolic regression using genetic programming3
Computing primitive idempotents in finite commutative rings and applications3
Computing pullback function of second order differential operators by using their semi-invariants3
Reflection groups and cones of sums of squares3
The anisotropic part of a quadratic form over a number field3
Efficient rational creative telescoping3
Squarefree normal representation of zeros of zero-dimensional polynomial systems3
Editorial Board3
Limits of real bivariate rational functions3
On surfaces of minimal degree in P3
Computing a group action from the class field theory of imaginary hyperelliptic function fields3
Sagbi combinatorics of maximal minors and a Sagbi algorithm3
On rational and hypergeometric solutions of linear ordinary difference equations in ΠΣ⁎-field extensions3
Simultaneous Rational Function Reconstruction with errors: Handling multiplicities and poles2
On symmetry adapted bases in trigonometric optimization2
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra2
Variadic equational matching in associative and commutative theories2
Exact moment representation in polynomial optimization2
Arithmetic of D-algebraic functions2
Catalecticant intersections and confinement of decompositions of forms2
Staged tree models with toric structure2
Strict inclusions of high rank loci2
Special issue of JSC on the occasion of MEGA 20212
Computing generating sets of minimal size in finite algebras2
On Elkies' method for bounding the transitivity degree of Galois groups2
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one2
The span of singular tuples of a tensor beyond the boundary format2
Neurons on amoebae2
Two algorithms for computing the general component of jet scheme and applications2
Coupled cluster degree of the Grassmannian2
Fast computation of the N-th term of a q-holonomic sequence and applications2
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell2
Logarithmic Voronoi cells for Gaussian models2
Multivariate interpolation: Preserving and exploiting symmetry2
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form2
Rationalizability of square roots2
An effective decomposition theorem for Schubert varieties2
Computation of Macaulay constants and degree bounds for Gröbner bases2
Symmetry in multivariate ideal interpolation2
Liouvillian solutions of Whittaker-Ince equation2
The integral closure of a primary ideal is not always primary2
On parametric semidefinite programming with unknown boundaries2
Smooth points on semi-algebraic sets2
The Smith normal form and reduction of weakly linear matrices2
Disjoint direct product decompositions of permutation groups2
Solving degree, last fall degree, and related invariants2
MacMahon's partition analysis XV: Parity2
Computing character tables and Cartan matrices of finite monoids with fixed point counting2
Probabilistic analysis of block Wiedemann for leading invariant factors2
Editorial Board2
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results2
Groups whose orders factorise into at most four primes2
Parallelization of triangular decompositions: Techniques and implementation2
Nash conditional independence curve2
Regular orbits of finite primitive solvable groups, the final classification2
Foreword1
Computing Galois groups of Fano problems1
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited1
On the dimension of the solution space of linear difference equations over the ring of infinite sequences1
Editorial Board1
q-Gosper algorithm and simple Bailey pairs1
Computing integral bases via localization and Hensel lifting1
Dissimilar subalgebras of symmetry algebra of plasticity equations1
A geometric algorithm for the factorization of rational motions in conformal three space1
Editorial Board1
Signature-based standard basis algorithm under the framework of GVW algorithm1
On certain polynomial systems involving Stirling numbers of second kind1
Polynomial-division-based algorithms for computing linear recurrence relations1
On magic distinct labellings of simple graphs1
Some fast algorithms multiplying a matrix by its adjoint1
On the classification of foliations of degree three with one singularity1
Solving second order homogeneous differential equations in terms of Heun's general function1
Persistent components in Canny's generalized characteristic polynomial1
Log-concavity of P-recursive sequences1
Solving parametric systems of polynomial equations over the reals through Hermite matrices1
Computing component groups of stabilizers of nilpotent orbit representatives1
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients1
Algorithm for studying polynomial maps and reductions modulo prime number1
On the connectedness of multistationarity regions of small reaction networks1
Effective approximation of the solutions of algebraic equations1
Entropy of tropical holonomic sequences1
Editorial Board1
Mixed volumes of networks with binomial steady-states1
Certified Hermite matrices from approximate roots1
An in-place truncated Fourier transform1
On exact Reznick, Hilbert-Artin and Putinar's representations1
Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp1
Existence and convergence of Puiseux series solutions for autonomous first order differential equations1
New bounds and an efficient algorithm for sparse difference resultants1
Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians1
Invariant neural architecture for learning term synthesis in instantiation proving1
A note on the relation between recognisable series and regular sequences, and their minimal linear representations1
Syzygies, constant rank, and beyond1
Bivariate polynomial reduction and elimination ideal over finite fields1
Representation of hypergeometric products of higher nesting depths in difference rings1
Editorial Board1
Symmetric SAGE and SONC forms, exactness and quantitative gaps1
On cyclic codes over Zq1
MacWilliams' Extension Theorem for rank-metric codes1
Solving polynomial systems over non-fields and applications to modular polynomial factoring1
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach1
Certification for polynomial systems via square subsystems1
Finite group characters on free resolutions1
Levelwise construction of a single cylindrical algebraic cell1
On the log-concavity of the n-th root of sequences1
D-algebraic functions1
Computing splitting fields using Galois theory and other Galois constructions1
Lower bounds on the rank and symmetric rank of real tensors1
A fast algorithm for denumerants with three variables1
Standard generators of finite fields and their cyclic subgroups1
The critical curvature degree of an algebraic variety1
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations1
Bounds for degrees of syzygies of polynomials defining a grade two ideal1
Editorial Board1
Formations of finite groups in polynomial time: F-residuals and 1
Certified numerical real root isolation for bivariate nonlinear systems1
Sextactic points on the Fermat cubic curve and arrangements of conics1
0.049646139144897