Pages that link to "Item:Q4577124"
From MaRDI portal
The following pages link to Verified High-Order Integration of DAEs and Higher-Order ODEs (Q4577124):
Displaying 3 items.
- Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models (Q1276129) (← links)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)