Pages that link to "Item:Q1869602"
From MaRDI portal
The following pages link to Symbolic preconditioning with Taylor models: Some examples (Q1869602):
Displayed 3 items.
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
- Solving interval constraints by linearization in computer-aided design (Q868685) (← links)
- Validated constraints solving --- practicalities, pitfalls, and new developments (Q2568645) (← links)