VERICOMP, a system for comparing and testing verified solvers for initial value problems. Verified solvers generate numerical sets that are mathematically proved to contain exact solutions.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Alexandre dit Sandretto, Julien; Chapoutot, Alexandre; Mullier, Olivier: Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis (2015)
- Dzetkulič, Tomáš: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (2015)
- Auer, Ekaterina; Rauh, Andreas: VERICOMP: A system to compare and assess verified IVP solvers (2012)