Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Computing the homology of universal covers via effective homology and discrete vector fields: Label: en
Local dual spaces and primary decomposition: Label: en
On the existence and convergence of formal power series solutions of nonlinear Mahler equations: Label: en
Absolute concentration robustness: algebra and geometry: Label: en
Persistent components in Canny's generalized characteristic polynomial: Label: en
Coupled cluster degree of the Grassmannian: Label: en
Mixed volumes of networks with binomial steady-states: Label: en
Creative telescoping for hypergeometric double sums: Label: en
On nonnegative invariant quartics in type \(A\): Label: en
Chebyshev subdivision and reduction methods for solving multivariable systems of equations: Label: en
A new algorithm for Gröbner bases conversion: Label: en
Self-intersections of surfaces that contain two circles through each point: Label: en
An \(\mathfrak{m}\)-adic algorithm for bivariate Gröbner bases: Label: en
A geometric algorithm for the factorization of rational motions in conformal three space: Label: en
Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp: Label: en
Asymptotics of solutions of special second-order linear recurrencies with polynomial coefficients and boundary effects of polynomial filters: Label: en
Algorithm for globally identifiable reparametrizations of ODEs: Label: en
Subresultants of several univariate polynomials in Newton basis: Label: en
D-algebraic functions: Label: en
Graph sequence learning for premise selection: Label: en
Invariant neural architecture for learning term synthesis in instantiation proving: Label: en
Symmetric SAGE and SONC forms, exactness and quantitative gaps: Label: en
A short proof for the parameter continuation theorem: Label: en
Fast evaluation and root finding for polynomials with floating-point coefficients: Label: en
Computing character tables and Cartan matrices of finite monoids with fixed point counting: Label: en
Signature-based standard basis algorithm under the framework of GVW algorithm: Label: en
On symmetry adapted bases in trigonometric optimization: Label: en
Approximate GCD of several multivariate sparse polynomials based on SLRA interpolation: Label: en
Bivariate polynomial reduction and elimination ideal over finite fields: Label: en
Strictly positive polynomials in the boundary of the SOS cone: Label: en
Dissimilar subalgebras of symmetry algebra of plasticity equations: Label: en
A semi-numerical algorithm for the homology lattice and periods of complex elliptic surfaces over \(\mathbb{P}^1\): Label: en
Graceful bases in solution spaces of differential and difference equations: Label: en
Corrigendum to: ``On the cactus rank of cubic forms: Label: en
Orthogonal-symplectic matrices and their parametric representation: Label: en
Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations: Label: en
MacMahon's partition analysis. XV: Parity: Label: en
On the dimension of the solution space of linear difference equations over the ring of infinite sequences: Label: en
On the log-concavity of the \(n\)-th root of sequences: Label: en
Reduction-based creative telescoping for definite summation of D-finite functions: Label: en
Hypergeometric-type sequences: Label: en
On the computation of Gröbner bases for matrix-weighted homogeneous systems: Label: en
Positive definiteness of infinite and finite dimensional generalized Hilbert tensors and generalized Cauchy tensor: Label: en
Short proofs of ideal membership: Label: en
On parametric semidefinite programming with unknown boundaries: Label: en
On the connectedness of multistationarity regions of small reaction networks: Label: en
Solving polynomial systems over non-fields and applications to modular polynomial factoring: Label: en
Stabilized recovery and model reduction for multivariate exponential polynomials: Label: en
A computational approach to almost-inner derivations: Label: en
Computing a group action from the class field theory of imaginary hyperelliptic function fields: Label: en