OOIR: Observatory of International Research

Papers

(The TQCC of Journal of Symbolic Computation is 3. 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 2022-01-01 to 2026-01-01.)

Article	Citations
Simplifying regular expressions further	29
Editorial Board	17
Computing the binomial part of a polynomial ideal	16
Computing rational powers of monomial ideals	15
Polynomial modular product verification and its implications	14
Bit complexity for computing one point in each connected component of a smooth real algebraic set	13
First-order factors of linear Mahler operators	11
Gram spectrahedra of ternary quartics	9
Strictly positive polynomials in the boundary of the SOS cone	9
Guessing Gröbner bases of structured ideals of relations of sequences	8
Permutations avoiding sets of patterns with long monotone subsequences	8
Autocovariance varieties of moving average random fields	8
WITHDRAWN: A post-quantum key exchange protocol from the intersection of conics	7
Computation of positively graded filiform nilpotent Lie algebras in low dimensions	7
Saturations of subalgebras, SAGBI bases, and U-invariants	7
Computation of orders and cycle lengths of automorphisms of finite solvable groups	7
Machine learning invariants of arithmetic curves	7
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	7
Two-step Newton's method for deflation-one singular zeros of analytic systems	6
Editorial Board	6
Isolating all the real roots of a mixed trigonometric-polynomial	6
Deformations of half-canonical Gorenstein curves in codimension four	6
Positivity proofs for linear recurrences through contracted cones	6
Computing quotients by connected solvable groups	6
The conjugacy problem and canonical representatives in finitely generated nilpotent groups	6

A unified FFT-based approach to maximum assignment problems related to transitive finite group actions	6
Machine learning parameter systems, Noether normalisations and quasi-stable positions	6
Foreword: Special issue of JSC on the occasion of MEGA 2019	6
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences	5
Shifted varieties and discrete neighborhoods around varieties	5
Sections of Dupin cyclides and their focal properties	5
Measuring the local non-convexity of real algebraic curves	5
Axioms for a theory of signature bases	5
Local dual spaces and primary decomposition	5
Reduction-based creative telescoping for P-recursive sequences via integral bases	5
On the existence and convergence of formal power series solutions of nonlinear Mahler equations	5
Orthogonal-symplectic matrices and their parametric representation	5
SONC optimization and exact nonnegativity certificates via second-order cone programming	5
Computational Algebra and Geometry: A special issue in memory and honor of Agnes Szanto	5
Corrigendum to “On the cactus rank of cubics forms” [J. Symb. Comput. 50 (2013) 291–297]	5
Decomposition loci of tensors	4
Enumerating seating arrangements that obey social distancing	4
Squarefree normal representation of zeros of zero-dimensional polynomial systems	4
The anisotropic part of a quadratic form over a number field	4
Tensor decompositions on simplicial complexes with invariance	4
Initial steps in the classification of maximal mediated sets	4
Computing implicitizations of multi-graded polynomial maps	4
Structural identifiability of series-parallel LCR systems	4
Creative telescoping for hypergeometric double sums	4
Wilf-Zeilberger seeds and non-trivial hypergeometric identities	4
Fast commutative matrix algorithms	4
Absolute concentration robustness: Algebra and geometry	4
Limits of real bivariate rational functions	4
Editorial Board	4
A counterexample to a conjecture on simultaneous Waring identifiability	4
A new general formula for the Cauchy index on an interval with subresultants	4
Perfect refiners for permutation group backtracking algorithms	4
The deviation on cranks of partitions	4
Moment varieties of the inverse Gaussian and gamma distributions are nondefective	4
Graph sequence learning for premise selection	4
Reduction systems and degree bounds for integration	4
Stabilized recovery and model reduction for multivariate exponential polynomials	4
Invariants of SDP exactness in quadratic programming	4
On surfaces of minimal degree in P	4
Computing finite and infinite free resolutions with Pommaret-like bases	4
Stream/block ciphers, difference equations and algebraic attacks	4
Effects of reducing redundant parameters in parameter optimization for symbolic regression using genetic programming	4
Algebraic number fields and the LLL algorithm	4
A post-quantum key exchange protocol from the intersection of conics	3
Certified simultaneous isotopic approximation of algebraic curves via subdivision	3
Computing free non-commutative Gröbner bases over Z with Singular:Lett	3
Sagbi combinatorics of maximal minors and a Sagbi algorithm	3
Semantics of division for polynomial solvers	3
The integral closure of a primary ideal is not always primary	3
The span of singular tuples of a tensor beyond the boundary format	3

Computing primitive idempotents in finite commutative rings and applications	3
Computing tropical bitangents to smooth quartic curves in polymake	3
The Chow-Lam form	3
Efficient rational creative telescoping	3
Reflection groups and cones of sums of squares	3
Quantifier elimination for normal cone computations	3
Liouvillian solutions of Whittaker-Ince equation	3
Smooth points on semi-algebraic sets	3
Jacobi stability analysis for systems of ODEs with symbolic computation	3
Computing a group action from the class field theory of imaginary hyperelliptic function fields	3
Computing pullback function of second order differential operators by using their semi-invariants	3
On symmetry adapted bases in trigonometric optimization	3
On parametric semidefinite programming with unknown boundaries	3
Nash conditional independence curve	3