VERICOMP

swMATH6149MaRDI QIDQ18283

No author found.

Described by source

• VERICOMP: A system to compare and assess verified IVP solvers

Related Items (2)

Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis

This page was built for software: VERICOMP