VERICOMP

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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 3 articles , 1 standard article )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Alexandre dit Sandretto, Julien; Chapoutot, Alexandre; Mullier, Olivier: Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis (2015)
  2. Dzetkulič, Tomáš: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (2015)
  3. Auer, Ekaterina; Rauh, Andreas: VERICOMP: A system to compare and assess verified IVP solvers (2012)