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-06-01 to 2025-06-01.)
ArticleCitations
Editorial Board28
Computing rational powers of monomial ideals26
Bit complexity for computing one point in each connected component of a smooth real algebraic set13
Polynomial modular product verification and its implications12
Simplifying regular expressions further12
Computing the binomial part of a polynomial ideal12
A nearly optimal algorithm to decompose binary forms12
Computation of orders and cycle lengths of automorphisms of finite solvable groups10
Editorial Board10
Strictly positive polynomials in the boundary of the SOS cone9
WITHDRAWN: A post-quantum key exchange protocol from the intersection of conics8
Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields8
Guessing Gröbner bases of structured ideals of relations of sequences7
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?7
Permutations avoiding sets of patterns with long monotone subsequences7
Computation of positively graded filiform nilpotent Lie algebras in low dimensions7
Machine learning invariants of arithmetic curves6
Gram spectrahedra of ternary quartics6
Foreword: Special issue of JSC on the occasion of MEGA 20196
Saturations of subalgebras, SAGBI bases, and U-invariants6
Autocovariance varieties of moving average random fields6
A unified FFT-based approach to maximum assignment problems related to transitive finite group actions6
Computing quotients by connected solvable groups6
Efficient q-integer linear decomposition of multivariate polynomials6
Editorial Board6
SONC optimization and exact nonnegativity certificates via second-order cone programming5
Two-step Newton's method for deflation-one singular zeros of analytic systems5
Measuring the local non-convexity of real algebraic curves5
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences5
Isolating all the real roots of a mixed trigonometric-polynomial5
Machine learning parameter systems, Noether normalisations and quasi-stable positions5
Local dual spaces and primary decomposition5
Deformations of half-canonical Gorenstein curves in codimension four5
A fast parallel sparse polynomial GCD algorithm5
Shifted varieties and discrete neighborhoods around varieties5
qFunctions – A Mathematica package for q-series and partition theory applications5
Orthogonal-symplectic matrices and their parametric representation4
Fast commutative matrix algorithms4
Reduction-based creative telescoping for P-recursive sequences via integral bases4
The deviation on cranks of partitions4
On the existence and convergence of formal power series solutions of nonlinear Mahler equations4
Axioms for a theory of signature bases4
Corrigendum to “On the cactus rank of cubics forms” [J. Symb. Comput. 50 (2013) 291–297]4
Algebraic number fields and the LLL algorithm4
Initial steps in the classification of maximal mediated sets4
Enumerating seating arrangements that obey social distancing4
Editorial Board4
Graph sequence learning for premise selection4
Stream/block ciphers, difference equations and algebraic attacks4
Structural identifiability of series-parallel LCR systems4
Tensor decompositions on simplicial complexes with invariance3
Stabilized recovery and model reduction for multivariate exponential polynomials3
A counterexample to a conjecture on simultaneous Waring identifiability3
Verification protocols with sub-linear communication for polynomial matrix operations3
On Bézout inequalities for non-homogeneous polynomial ideals3
Efficient rational creative telescoping3
Computing primitive idempotents in finite commutative rings and applications3
On rational and hypergeometric solutions of linear ordinary difference equations in ΠΣ⁎-field extensions3
A post-quantum key exchange protocol from the intersection of conics3
Editorial Board3
Symbolic analysis of multiple steady states in a MAPK chemical reaction network3
Perfect refiners for permutation group backtracking algorithms3
A new general formula for the Cauchy index on an interval with subresultants3
Sagbi combinatorics of maximal minors and a Sagbi algorithm3
Computing a group action from the class field theory of imaginary hyperelliptic function fields3
The anisotropic part of a quadratic form over a number field3
On surfaces of minimal degree in P3
Squarefree normal representation of zeros of zero-dimensional polynomial systems3
Invariants of SDP exactness in quadratic programming3
Absolute concentration robustness: Algebra and geometry3
Creative telescoping for hypergeometric double sums3
Computing tropical bitangents to smooth quartic curves in polymake3
On symmetry adapted bases in trigonometric optimization3
Computing pullback function of second order differential operators by using their semi-invariants3
Neurons on amoebae2
Editorial Board2
Coupled cluster degree of the Grassmannian2
Staged tree models with toric structure2
Disjoint direct product decompositions of permutation groups2
Computing character tables and Cartan matrices of finite monoids with fixed point counting2
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra2
The Smith normal form and reduction of weakly linear matrices2
Liouvillian solutions of Whittaker-Ince equation2
The span of singular tuples of a tensor beyond the boundary format2
Reflection groups and cones of sums of squares2
The integral closure of a primary ideal is not always primary2
Smooth points on semi-algebraic sets2
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one2
Probabilistic analysis of block Wiedemann for leading invariant factors2
Strict inclusions of high rank loci2
Symmetry in multivariate ideal interpolation2
Arithmetic of D-algebraic functions2
Logarithmic Voronoi cells for Gaussian models2
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results2
Groups whose orders factorise into at most four primes2
Nash conditional independence curve2
Computation of Macaulay constants and degree bounds for Gröbner bases2
On parametric semidefinite programming with unknown boundaries2
Two algorithms for computing the general component of jet scheme and applications2
Special issue of JSC on the occasion of MEGA 20212
Fast computation of the N-th term of a q-holonomic sequence and applications2
Computing generating sets of minimal size in finite algebras2
An effective decomposition theorem for Schubert varieties2
Parallelization of triangular decompositions: Techniques and implementation2
Multivariate interpolation: Preserving and exploiting symmetry2
Constructively describing orbit spaces of finite groups by few inequalities2
On Elkies' method for bounding the transitivity degree of Galois groups2
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form2
Regular orbits of finite primitive solvable groups, the final classification2
Simultaneous Rational Function Reconstruction with errors: Handling multiplicities and poles2
Catalecticant intersections and confinement of decompositions of forms2
Computing free non-commutative Gröbner bases over Z with Singular:Lett2
Editorial Board1
Computing splitting fields using Galois theory and other Galois constructions1
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited1
Toward the best algorithm for approximate GCD of univariate polynomials1
Signature-based standard basis algorithm under the framework of GVW algorithm1
Counting invariant subspaces and decompositions of additive polynomials1
Variadic equational matching in associative and commutative theories1
New bounds and an efficient algorithm for sparse difference resultants1
Rationalizability of square roots1
q-Gosper algorithm and simple Bailey pairs1
A geometric algorithm for the factorization of rational motions in conformal three space1
Certified numerical real root isolation for bivariate nonlinear systems1
On cyclic codes over Zq1
Invariant neural architecture for learning term synthesis in instantiation proving1
Symmetric SAGE and SONC forms, exactness and quantitative gaps1
Certification for polynomial systems via square subsystems1
Solving second order homogeneous differential equations in terms of Heun's general function1
Existence and convergence of Puiseux series solutions for autonomous first order differential equations1
Algorithm for studying polynomial maps and reductions modulo prime number1
Representation of hypergeometric products of higher nesting depths in difference rings1
Lower bounds on the rank and symmetric rank of real tensors1
Solving polynomial systems over non-fields and applications to modular polynomial factoring1
D-algebraic functions1
Geometric complexity theory for product-plus-power1
Levelwise construction of a single cylindrical algebraic cell1
On magic distinct labellings of simple graphs1
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell1
Mixed volumes of networks with binomial steady-states1
MacMahon's partition analysis XV: Parity1
The critical curvature degree of an algebraic variety1
Log-concavity of P-recursive sequences1
Sextactic points on the Fermat cubic curve and arrangements of conics1
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach1
Computing Galois groups of Fano problems1
Standard generators of finite fields and their cyclic subgroups1
Some fast algorithms multiplying a matrix by its adjoint1
Multilinear polynomial systems: Root isolation and bit complexity1
Syzygies, constant rank, and beyond1
On exact Reznick, Hilbert-Artin and Putinar's representations1
Computing integral bases via localization and Hensel lifting1
Certified Hermite matrices from approximate roots1
An in-place truncated Fourier transform1
Dissimilar subalgebras of symmetry algebra of plasticity equations1
Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp1
Foreword1
Polynomial-division-based algorithms for computing linear recurrence relations1
On certain polynomial systems involving Stirling numbers of second kind1
Solving degree, last fall degree, and related invariants1
On the log-concavity of the n-th root of sequences1
Editorial Board1
Finite group characters on free resolutions1
Editorial Board1
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients1
Effective approximation of the solutions of algebraic equations1
MacWilliams' Extension Theorem for rank-metric codes1
On the connectedness of multistationarity regions of small reaction networks1
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations1
Entropy of tropical holonomic sequences1
Editorial Board1
Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians1
0.05096697807312