Pages that link to "Item:Q1875382"
From MaRDI portal
The following pages link to Higher order verified inclusions of multidimensional systems by Taylor models. (Q1875382):
Displayed 3 items.
- Optimization of the forcing term for the solution of two-point boundary value problems (Q355817) (← links)
- Status of the differential transformation method (Q449462) (← links)
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (Q1779571) (← links)