VERICOMP

MaRDI QIDQ18283swMATHFDO

Official website http://link.springer.com/article/10.1007%2Fs00607-011-0178-4

Described by source

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

Cited in

(7)

• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
• Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
• ValEncIA-IVP
• ValEncIA
• SmartMobile
• Octave Interval
• GRKLib

This page was built for software: VERICOMP