Pages that link to "Item:Q4577111"
From MaRDI portal
The following pages link to Verified Solutions of Systems of Nonlinear Polynomial Equations (Q4577111):
Displaying 6 items.
- Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification (Q475422) (← links)
- Certifying solutions to square systems of polynomial-exponential equations (Q507164) (← links)
- Certifying simple zeros of over-determined polynomial systems (Q1701471) (← links)
- A combined method for enclosing all solutions of nonlinear systems of polynomial equations (Q1899456) (← links)
- Verified error bounds for real solutions of positive-dimensional polynomial systems (Q2963259) (← links)
- Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics (Q5244700) (← links)