Pages that link to "Item:Q2963259"
From MaRDI portal
The following pages link to Verified error bounds for real solutions of positive-dimensional polynomial systems (Q2963259):
Displaying 8 items.
- Verified error bounds for singular solutions of nonlinear systems (Q747729) (← links)
- An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator (Q2312674) (← links)
- Computing real witness points of positive dimensional polynomial systems (Q2357373) (← links)
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) (Q2399868) (← links)
- Validating the Completeness of the Real Solution Set of a System of Polynomial Equations (Q2985821) (← links)
- Extension of Hoffman’s Error Bound to Polynomial Systems (Q4302318) (← links)
- (Q5706790) (← links)
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities (Q6076836) (← links)