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

Article	Citations
Heuristics to sift extraneous factors in Dixon resultants	28
On rational and hypergeometric solutions of linear ordinary difference equations in ΠΣ⁎-field extensions	22
Identifying the parametric occurrence of multiple steady states for some biological networks	17
On the computation of identities relating partition numbers in arithmetic progressions with eta quotients: An implementation of Radu's algorithm	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	13
Wasserstein distance to independence models	11
Separation bounds for polynomial systems	11
Fast computation of approximant bases in canonical form	11
Chordal graphs in triangular decomposition in top-down style	11
Neurons on amoebae	9
Equations defining probability tree models	9
Applying computer algebra systems with SAT solvers to the Williamson conjecture	8
New ways to multiply 3 × 3-matrices	8
Polynomial reduction and supercongruences	8
Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations	8
Solving degree, last fall degree, and related invariants	7
Coisotropic hypersurfaces in Grassmannians	7
Existence and convergence of Puiseux series solutions for autonomous first order differential equations	7
Identifiability in phylogenetics using algebraic matroids	7
On exact Reznick, Hilbert-Artin and Putinar's representations	6
The complexity of sparse Hensel lifting and sparse polynomial factorization	6
Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings	6

Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux	6
Symbolic computation and satisfiability checking	6
Multivariate interpolation: Preserving and exploiting symmetry	6
KP solitons from tropical limits	6
On the maximal number of real embeddings of minimally rigid graphs in	6
Automated proof of mixed trigonometric-polynomial inequalities	6
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra	5
Toward the best algorithm for approximate GCD of univariate polynomials	5
Algebraic equations for constant width curves and Zindler curves	5
On the algorithmic linearizability of nonlinear ordinary differential equations	5
Removing apparent singularities of linear difference systems	5
Ranks and symmetric ranks of cubic surfaces	5
Solving determinantal systems using homotopy techniques	5
Efficient rational creative telescoping	5
The complexity of subdivision for diameter-distance tests	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
Machine-learning the Sato–Tate conjecture	4
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited	4
A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix	4
Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics	4
Zacharias representation of effective associative rings	4
Truncated normal forms for solving polynomial systems: Generalized and efficient algorithms	4
Computing critical points for invariant algebraic systems	4
Algorithms for simultaneous Hermite–Padé approximations	4
Matrix formulæ for resultants and discriminants of bivariate tensor-product polynomials	4
On the Extended Hensel Construction and its application to the computation of real limit points	4
Rank computation in Euclidean Jordan algebras	4
Effective computations of the Atiyah-Bott formula	4
Computing and using minimal polynomials	4
In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: The adaptive variants	4
Staged tree models with toric structure	4
Combinatorial decompositions for monomial ideals	4
Standard bases over Euclidean domains	4
Log-concavity of P-recursive sequences	4
The card guessing game: A generating function approach	3
Regular orbits of finite primitive solvable groups, the final classification	3
Exact algorithms for semidefinite programs with degenerate feasible set	3
Voronoi cells of varieties	3
Quasi-independence models with rational maximum likelihood estimator	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
Multilinear polynomial systems: Root isolation and bit complexity	3
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs	3
Distance to the stochastic part of phylogenetic varieties	3
Constructive arithmetics in Ore localizations enjoying enough commutativity	3
SONC optimization and exact nonnegativity certificates via second-order cone programming	3
Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems	3
A condition for multiplicity structure of univariate polynomials	3

Block-Krylov techniques in the context of sparse-FGLM algorithms	3
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one	3
On computing the degree of a Chebyshev Polynomial from its value	3
Efficiently factoring polynomials modulo p4	3
Unexpected hypersurfaces with multiple fat points	3
On the solutions of holonomic third-order linear irreducible differential equations in terms of hypergeometric functions	3
Reducing radicals in the spirit of Euclid	3
Reflection groups and cones of sums of squares	3
Machine learning invariants of arithmetic curves	3
Computing real radicals and S-radicals of polynomial systems	3
Rationalizability of square roots	3
A signature-based algorithm for computing the nondegenerate locus of a polynomial system	3
Computing strong regular characteristic pairs with Gröbner bases	2
Machine learning the real discriminant locus	2
Polynomial-time proofs that groups are hyperbolic	2
Strict inclusions of high rank loci	2
Characterizing positively invariant sets: Inductive and topological methods	2
Certified numerical real root isolation for bivariate nonlinear systems	2
On the existence of telescopers for rational functions in three variables	2
Groups whose orders factorise into at most four primes	2
A certified iterative method for isolated singular roots	2
A fast parallel sparse polynomial GCD algorithm	2
On the classification of foliations of degree three with one singularity	2
Constructive arithmetics in Ore localizations of domains	2
A new general formula for the Cauchy index on an interval with subresultants	2
Symmetry in multivariate ideal interpolation	2
On a tropical version of the Jacobian conjecture	2
Computing nearby non-trivial Smith forms	2
On conversions from CNF to ANF	2
Catalan-many tropical morphisms to trees; Part I: Constructions	2
On the efficiency of solving Boolean polynomial systems with the characteristic set method	2
Fast Hermite interpolation and evaluation over finite fields of characteristic two	2
Tensor decomposition for learning Gaussian mixtures from moments	2
From simplification to a partial theory solver for non-linear real polynomial constraints	2
Representation of hypergeometric products of higher nesting depths in difference rings	2
A complete and terminating approach to linear integer solving	2
Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals	2
On the primary decomposition of some determinantal hyperedge ideal	2
Saturations of subalgebras, SAGBI bases, and U-invariants	2
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	2
Perfect refiners for permutation group backtracking algorithms	2
Certification for polynomial systems via square subsystems	2
Stronger bounds on the cost of computing Gröbner bases for HFE systems	2
Noncommutative algebras, context-free grammars and algebraic Hilbert series	2
Equivalence and reduction of bivariate polynomial matrices to their Smith forms	2
Computing the Lie algebra of the differential Galois group: The reducible case	2
Linear time Fourier transforms of S−-invariant functions on the symmetric group S	2
Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares	2
Measuring the local non-convexity of real algebraic curves	2
Duality of sum of nonnegative circuit polynomials and optimal SONC bounds	2
A generic and executable formalization of signature-based Gröbner basis algorithms	2
Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields	2
Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four	2
Construction of free differential algebras by extending Gröbner-Shirshov bases	2
On types of degenerate critical points of real polynomial functions	2
Parallelization of triangular decompositions: Techniques and implementation	2