The following pages link to (Q4737454):
Displaying 6 items.
- Two acceleration mechanisms in verified global optimization (Q861910) (← links)
- How to guarantee finite termination of verifying global optimization codes (Q1300086) (← links)
- Parallel methods for verified global optimization practice and theory (Q1817314) (← links)
- Parallelization method for a continuous property (Q2269907) (← links)
- A parallel method for verifying global optimization (Q2715929) (← links)
- A new parallel method for verified global optimization (Q3510747) (← links)