OOIR: Observatory of International Research

Papers

(The TQCC of Journal of Symbolic Computation is 2. 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-03-01 to 2024-03-01.)

Article	Citations
Heuristics to sift extraneous factors in Dixon resultants	24
On rational and hypergeometric solutions of linear ordinary difference equations in ΠΣ⁎-field extensions	22
On the computation of identities relating partition numbers in arithmetic progressions with eta quotients: An implementation of Radu's algorithm	16
Identifying the parametric occurrence of multiple steady states for some biological networks	16
Cylindrical algebraic decomposition with equational constraints	15
Fully incremental cylindrical algebraic decomposition	14
Explicit formulas of Euler sums via multiple zeta values	13
A census of small transitive groups and vertex-transitive graphs	12
Chordal graphs in triangular decomposition in top-down style	11
Fast computation of approximant bases in canonical form	11
Wasserstein distance to independence models	10
Separation bounds for polynomial systems	10
An automated study of isoptic curves of an astroid	9
Equations defining probability tree models	9
Reasoning about linkages with dynamic geometry	8
Applying computer algebra systems with SAT solvers to the Williamson conjecture	8
Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations	8
Polynomial reduction and supercongruences	8
Neurons on amoebae	8
Identifiability in phylogenetics using algebraic matroids	7
Taxonomies of geometric problems	7
Existence and convergence of Puiseux series solutions for autonomous first order differential equations	7
New ways to multiply 3 × 3-matrices	6
The complexity of sparse Hensel lifting and sparse polynomial factorization	6
New dynamics in dynamic geometry: Dragging constructed points	6

Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux	6
On the maximal number of real embeddings of minimally rigid graphs in	6
Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings	6
On exact Reznick, Hilbert-Artin and Putinar's representations	6
Coisotropic hypersurfaces in Grassmannians	6
Symbolic computation and satisfiability checking	6
Multivariate interpolation: Preserving and exploiting symmetry	6
Removing apparent singularities of linear difference systems	5
Algebraic equations for constant width curves and Zindler curves	5
Automated proof of mixed trigonometric-polynomial inequalities	5
The complexity of subdivision for diameter-distance tests	5
Ranks and symmetric ranks of cubic surfaces	5
Solving determinantal systems using homotopy techniques	5
Efficient rational creative telescoping	5
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT	5
qFunctions – A Mathematica package for q-series and partition theory applications	5
Noetherian operators and primary decomposition	5
Staged tree models with toric structure	4
KP solitons from tropical limits	4
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra	4
Zacharias representation of effective associative rings	4
Machine-learning the Sato–Tate conjecture	4
Computing critical points for invariant algebraic systems	4
Algorithms for simultaneous Hermite–Padé approximations	4
Combinatorial decompositions for monomial ideals	4
Toward the best algorithm for approximate GCD of univariate polynomials	4
Log-concavity of P-recursive sequences	4
On the algorithmic linearizability of nonlinear ordinary differential equations	4
In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: The adaptive variants	4
Solving degree, last fall degree, and related invariants	4
On the Extended Hensel Construction and its application to the computation of real limit points	4
Standard bases over Euclidean domains	4
Computing and using minimal polynomials	4
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited	4
Matrix formulæ for resultants and discriminants of bivariate tensor-product polynomials	4
On the solutions of holonomic third-order linear irreducible differential equations in terms of hypergeometric functions	3
Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems	3
Machine learning invariants of arithmetic curves	3
Computing real radicals and S-radicals of polynomial systems	3
Rationalizability of square roots	3
On computing the degree of a Chebyshev Polynomial from its value	3
Distance to the stochastic part of phylogenetic varieties	3
Effective computations of the Atiyah-Bott formula	3
Exact algorithms for semidefinite programs with degenerate feasible set	3
Quasi-independence models with rational maximum likelihood estimator	3
Block-Krylov techniques in the context of sparse-FGLM algorithms	3
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one	3
Multilinear polynomial systems: Root isolation and bit complexity	3
Rank computation in Euclidean Jordan algebras	3
Unexpected hypersurfaces with multiple fat points	3

Truncated normal forms for solving polynomial systems: Generalized and efficient algorithms	3
Reflection groups and cones of sums of squares	3
Voronoi cells of varieties	3
Solving parametric systems of polynomial equations over the reals through Hermite matrices	3
Galois groups over rational function fields and Explicit Hilbert Irreducibility	3
A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix	3
A signature-based algorithm for computing the nondegenerate locus of a polynomial system	3
Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics	3
Constructive arithmetics in Ore localizations enjoying enough commutativity	3
Measuring the local non-convexity of real algebraic curves	2
Certified numerical real root isolation for bivariate nonlinear systems	2
Groups whose orders factorise into at most four primes	2
SONC optimization and exact nonnegativity certificates via second-order cone programming	2
Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals	2
Efficiently factoring polynomials modulo p4	2
Reducing radicals in the spirit of Euclid	2
Parallelization of triangular decompositions: Techniques and implementation	2
Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four	2
Strict inclusions of high rank loci	2
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	2
Stronger bounds on the cost of computing Gröbner bases for HFE systems	2
Certification for polynomial systems via square subsystems	2
Polynomial-time proofs that groups are hyperbolic	2
Characterizing positively invariant sets: Inductive and topological methods	2
Regular orbits of finite primitive solvable groups, the final classification	2
From simplification to a partial theory solver for non-linear real polynomial constraints	2
On the existence of telescopers for rational functions in three variables	2
A certified iterative method for isolated singular roots	2
Duality of sum of nonnegative circuit polynomials and optimal SONC bounds	2
A fast parallel sparse polynomial GCD algorithm	2
Perfect refiners for permutation group backtracking algorithms	2
Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields	2
Fast Hermite interpolation and evaluation over finite fields of characteristic two	2
Saturations of subalgebras, SAGBI bases, and U-invariants	2
Computing nearby non-trivial Smith forms	2
A new general formula for the Cauchy index on an interval with subresultants	2
On types of degenerate critical points of real polynomial functions	2
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs	2
On conversions from CNF to ANF	2
On the efficiency of solving Boolean polynomial systems with the characteristic set method	2
Tensor decomposition for learning Gaussian mixtures from moments	2
Representation of hypergeometric products of higher nesting depths in difference rings	2
Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares	2
Linear time Fourier transforms of S−-invariant functions on the symmetric group S	2
A complete and terminating approach to linear integer solving	2
A generic and executable formalization of signature-based Gröbner basis algorithms	2
Symmetry in multivariate ideal interpolation	2
On the primary decomposition of some determinantal hyperedge ideal	2
Machine learning the real discriminant locus	2
On the classification of foliations of degree three with one singularity	2
Computing strong regular characteristic pairs with Gröbner bases	2
A condition for multiplicity structure of univariate polynomials	2
Construction of free differential algebras by extending Gröbner-Shirshov bases	2
Constructive arithmetics in Ore localizations of domains	2
Catalan-many tropical morphisms to trees; Part I: Constructions	2
Noncommutative algebras, context-free grammars and algebraic Hilbert series	2
Computing the Lie algebra of the differential Galois group: The reducible case	2
The card guessing game: A generating function approach	2