Pages that link to "Item:Q1869602"
From MaRDI portal
The following pages link to Symbolic preconditioning with Taylor models: Some examples (Q1869602):
Displaying 6 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)
- Efficient control of the dependency problem based on Taylor model methods (Q1300080) (← links)
- Global optimization with higher order inclusion function forms. I: A combined Taylor-Bernstein form (Q1424801) (← links)
- Advances in interval methods for deterministic global optimization in chemical engineering (Q1768617) (← links)
- Validated constraints solving --- practicalities, pitfalls, and new developments (Q2568645) (← links)