Pages that link to "Item:Q2458505"
From MaRDI portal
The following pages link to Real solution isolation using interval arithmetic (Q2458505):
Displayed 6 items.
- Recent advances in program verification through computer algebra (Q351971) (← 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)
- Isolating the real roots of the piecewise algebraic variety (Q1029844) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- AN APPLICATION OF REGULAR CHAIN THEORY TO THE STUDY OF LIMIT CYCLES (Q2866055) (← links)