VERICOMP

swMATH6149MaRDI QIDQ18283FDOQ18283

Author name not available (Why is that?)

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