VERICOMP: A system to compare and assess verified IVP solvers

DOI10.1007/s00607-011-0178-4zbMath1238.65064OpenAlexW2000494734MaRDI QIDQ411437

Ekaterina Auer, Andreas Rauh

Publication date: 4 April 2012

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-011-0178-4

zbMATH Keywords

recommender systemscomparison systematicsinitial value problem solversverified methods

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)

Related Items

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

Uses Software

• ValEncIA-IVP
• ValEncIA
• NSDTST
• STDTST
• Test Set IVP

Cites Work

• Unnamed Item
• Comparing numerical methods for stiff systems of O.D.E:s
• Two FORTRAN packages for assessing initial value methods
• On Taylor Model Based Integration of ODEs
• Comparing Numerical Methods for Ordinary Differential Equations

This page was built for publication: VERICOMP: A system to compare and assess verified IVP solvers