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 21 results in range #1 to #21.

Reducing exact computations to obtain exact results based on stabilization techniques: Label: en
Finding positively invariant sets of a class of nonlinear loops via curve fitting: Label: en
Computing clustered close-roots of univariate polynomials: Label: en
Approximate factorization of polynomials over Z: Label: en
Convergence and many-valuedness of hensel seriesnear the expansion point: Label: en
Computing multivariate approximate GCD based on Barnett's theorem: Label: en
A method for finding zeros of polynomial equations using a contour integral based eigensolver: Label: en
Optimization and NP_R-completeness of certain fewnomials: Label: en
Finding exact minimal polynomial by approximations: Label: en
Continuations and monodromy on random riemann surfaces: Label: en
Nearly optimal symbolic-numerical algorithms for structured integer matrices and polynomials: Label: en
Application of filter diagonalization method to numerical solution of algebraic equations: Label: en
Continued fraction expansion of real roots of polynomial systems: Label: en
Rigorous integration of flows and ODEs using taylor models: Label: en
Curve/surface intersection problem by means of matrix representations: Label: en
A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions: Label: en
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination: Label: en
Extracting numerical factors of multivariate polynomials from taylor expansions: Label: en
Computing nearest Gcd with certification: Label: en
Exact polynomial factorization by approximate high degree algebraic numbers: Label: en
Rigorous global search using taylor models: Label: en