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 2020-11-01 to 2024-11-01.)

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
Separation bounds for polynomial systems	12
Chordal graphs in triangular decomposition in top-down style	12
Wasserstein distance to independence models	12
Polynomial reduction and supercongruences	11
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
New ways to multiply 3 × 3-matrices	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
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

Distance to the stochastic part of phylogenetic varieties	7
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
Toward the best algorithm for approximate GCD of univariate polynomials	6
Efficient rational creative telescoping	6
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
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
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
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
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
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs	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
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
Stream/block ciphers, difference equations and algebraic attacks	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
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
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
On computing the degree of a Chebyshev Polynomial from its value	3
Computing real radicals and S-radicals of polynomial systems	3
Multilinear polynomial systems: Root isolation and bit complexity	3
Symmetry in multivariate ideal interpolation	3