Pages that link to "Item:Q2959012"
From MaRDI portal
The following pages link to Proceedings of the 2009 conference on Symbolic numeric computation (Q2959012):
Displayed 21 items.
- Rigorous global search using taylor models (Q2959013) (← links)
- Exact polynomial factorization by approximate high degree algebraic numbers (Q2959014) (← links)
- Computing nearest Gcd with certification (Q2959015) (← links)
- Extracting numerical factors of multivariate polynomials from taylor expansions (Q2959016) (← links)
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q2959017) (← links)
- A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions (Q2959018) (← links)
- Curve/surface intersection problem by means of matrix representations (Q2959019) (← links)
- Rigorous integration of flows and ODEs using taylor models (Q2959020) (← links)
- Continued fraction expansion of real roots of polynomial systems (Q2959021) (← links)
- Application of filter diagonalization method to numerical solution of algebraic equations (Q2959022) (← links)
- Nearly optimal symbolic-numerical algorithms for structured integer matrices and polynomials (Q2959023) (← links)
- Continuations and monodromy on random riemann surfaces (Q2959024) (← links)
- Finding exact minimal polynomial by approximations (Q2959025) (← links)
- Optimization and NP_R-completeness of certain fewnomials (Q2959026) (← links)
- A method for finding zeros of polynomial equations using a contour integral based eigensolver (Q2959027) (← links)
- Computing multivariate approximate GCD based on Barnett's theorem (Q2959028) (← links)
- Convergence and many-valuedness of hensel seriesnear the expansion point (Q2959029) (← links)
- Approximate factorization of polynomials over Z (Q2959031) (← links)
- Computing clustered close-roots of univariate polynomials (Q2959032) (← links)
- Finding positively invariant sets of a class of nonlinear loops via curve fitting (Q2959033) (← links)
- Reducing exact computations to obtain exact results based on stabilization techniques (Q2959034) (← links)