Journal of Symbolic Computation

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
Fast computation of approximant bases in canonical form	11
Chordal graphs in triangular decomposition in top-down style	11
Separation bounds for polynomial systems	10
Wasserstein distance to independence models	10
Equations defining probability tree models	9
An automated study of isoptic curves of an astroid	9
Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations	8
Polynomial reduction and supercongruences	8
Neurons on amoebae	8
Reasoning about linkages with dynamic geometry	8
Applying computer algebra systems with SAT solvers to the Williamson conjecture	8
Taxonomies of geometric problems	7
Existence and convergence of Puiseux series solutions for autonomous first order differential equations	7
Identifiability in phylogenetics using algebraic matroids	7
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
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
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
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
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
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
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

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
Computing the Lie algebra of the differential Galois group: The reducible case	2
Noncommutative algebras, context-free grammars and algebraic Hilbert series	2
The card guessing game: A generating function approach	2
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
Fast Hermite interpolation and evaluation over finite fields of characteristic two	2
SONC optimization and exact nonnegativity certificates via second-order cone programming	2
A new general formula for the Cauchy index on an interval with subresultants	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
Stronger bounds on the cost of computing Gröbner bases for HFE systems	2
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses?	2
Polynomial-time proofs that groups are hyperbolic	2
Certification for polynomial systems via square subsystems	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
Computing strong regular characteristic pairs with Gröbner bases	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
Computing nearby non-trivial Smith forms	2
Saturations of subalgebras, SAGBI bases, and U-invariants	2
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs	2
On types of degenerate critical points of real polynomial functions	2
On the efficiency of solving Boolean polynomial systems with the characteristic set method	2
On conversions from CNF to ANF	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
Strict inclusions of high rank loci	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
Construction of free differential algebras by extending Gröbner-Shirshov bases	2
A condition for multiplicity structure of univariate polynomials	2
Catalan-many tropical morphisms to trees; Part I: Constructions	2
Constructive arithmetics in Ore localizations of domains	2
Computing valuations of the Dieudonné determinants	1
Disjoint direct product decompositions of permutation groups	1
On affine tropical F5 algorithms	1
Reconstruction of rational ruled surfaces from their silhouettes	1
On surfaces of minimal degree in P	1
q-Gosper algorithm and simple Bailey pairs	1
On the generating functions of pattern-avoiding Motzkin paths	1
Multivariate volume, Ehrhart, and h⁎-polynomials of polytropes	1
A method of verifying partition congruences by symbolic computation	1
Computing the Schur multipliers of the Lie p-rings in the family defined by a symbolic Lie p-ring presentation	1
Toric geometry of entropic regularization	1
Equivalence and reduction of bivariate polynomial matrices to their Smith forms	1
Computing free non-commutative Gröbner bases over Z with Singular:Lett	1
Convolutions of Liouvillian sequences	1
PTOPO: Computing the geometry and the topology of parametric curves	1
Unirational differential curves and differential rational parametrizations	1
Proof of a supercongruence via the Wilf–Zeilberger method	1
Finite group characters on free resolutions	1
Exact p-adic computation in Magma	1
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences	1
Fast transforms over finite fields of characteristic two	1
Towards cluster duality for Lagrangian and orthogonal Grassmannians	1

q-Rational reduction and q-analogues of series for π	1
Elimination-based certificates for triangular equivalence and rank profiles	1
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell	1
General non-realizability certificates for spheres with linear programming	1
An in-place truncated Fourier transform	1
Efficient Gröbner bases computation over principal ideal rings	1
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients	1
Distance invariant method for normalization of indexed differentials	1
A linear-algebraic method to compute polynomial PDE conservation laws	1
Computing the resolution regularity of bi-homogeneous ideals	1
Normal bases from 1-dimensional algebraic groups	1
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure	1
An approach for computing families of multi-branch-point covers and applications for symplectic Galois groups	1
Isolating all the real roots of a mixed trigonometric-polynomial	1
Gröbner bases for (partial) flag manifolds	1
Signatures of algebraic curves via numerical algebraic geometry	1
Algorithms for computing greatest common divisors of parametric multivariate polynomials	1
A nearly optimal algorithm to decompose binary forms	1
Counting invariant subspaces and decompositions of additive polynomials	1
Computing integral bases via localization and Hensel lifting	1
Necklaces count polynomial parametric osculants	1
Symmetric polynomials in upper-bound semirings	1
Computing invariants for multipersistence via spectral systems and effective homology	1
Topological types of actions on curves	1
Computing lower rank approximations of matrix polynomials	1
Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases	1
Lower bounds on the rank and symmetric rank of real tensors	1
A new algorithm for computing staggered linear bases	1
Powers of monomial ideals and the Ratliff–Rush operation	1
Stream/block ciphers, difference equations and algebraic attacks	1
An extension of holonomic sequences: C2-finite sequences	1
Verification protocols with sub-linear communication for polynomial matrix operations	1
A fast algorithm for computing multiplicative relations between the roots of a generic polynomial	1
Special issue on Algebraic Geometry and Machine Learning	1
Computing Galois groups of Fano problems	1
Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation	1
Moh's example of algebroid space curves	1
On a tropical version of the Jacobian conjecture	1
Homogeneous Einstein metrics on Stiefel manifolds associated to flag manifolds with two isotropy summands	1
Critical configurations for two projective views, a new approach	1
Degrees of Kalman varieties of tensors	1
Weingarten calculus and the IntHaar package for integrals over compact matrix groups	1
On initials and the fundamental theorem of tropical partial differential algebraic geometry	1
Symbolic analysis of multiple steady states in a MAPK chemical reaction network	1
Cyclic distances of idempotent convolutional codes	1
Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials	1
A symbolic algorithm to compute immersions of polynomial systems into linear ones up to an output injection	1
Recursive structures in involutive bases theory	1
Gram spectrahedra of ternary quartics	1
Non-standard analysis in dynamic geometry	1
Two algorithms for computing the general component of jet scheme and applications	1
Computing with Tarski formulas and semi-algebraic sets in a web browser	1
Polynomial-division-based algorithms for computing linear recurrence relations	1
Betti sequence of the projective closure of affine monomial curves	1