VERICOMP

swMATH6149MaRDI QIDQ18283FDOQ18283

Author name not available (Why is that?)

Described by source

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

Cited In (2)

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

This page was built for software: VERICOMP