The following pages link to (Q5301656):
Displaying 10 items.
- Separating linear forms and rational univariate representations of bivariate systems (Q480646) (← links)
- Real solution isolation with multiplicity of zero-dimensional triangular systems (Q543162) (← links)
- Complete numerical isolation of real roots in zero-dimensional triangular systems (Q1025386) (← links)
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- Clustering complex zeros of triangular systems of polynomials (Q2035625) (← links)
- On the topology and isotopic meshing of plane algebraic curves (Q2179658) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- Parallel computation of real solving bivariate polynomial systems by zero-matching method (Q2451343) (← links)
- A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system (Q2883813) (← links)
- In Praise of Numerical Computation (Q3644734) (← links)
