Pages that link to "Item:Q411437"
From MaRDI portal
The following pages link to VERICOMP: A system to compare and assess verified IVP solvers (Q411437):
Displaying 4 items.
- VERICOMP (Q18283) (← links)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
- Verifying approximate solutions to differential equations (Q2570078) (← links)
- Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis (Q5240156) (← links)