The following pages link to (Q4855495):
Displayed 6 items.
- Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
- On a class of enclosure methods for initial value problems (Q1340885) (← links)
- Interval Methods for Optimal Control (Q3407704) (← links)
- Prädiktor‐Korrektor‐Verfahren mit Lösungseinschließung (Q4268697) (← links)
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP (Q5302762) (← links)
- A verified method for solving piecewise smooth initial value problems (Q5409747) (← links)