VERICOMP 2.0, a Platform to Compare and Recommend Verified IVP Solvers (Vortrag)

Aus Kompetenzportal
Wechseln zu: Navigation, Suche
VERICOMP 2.0, a Platform to Compare and Recommend Verified IVP Solvers (Vortrag)
Autor Ekaterina Auer, Stefan Kiel, Andreas Rauh
Tagung/Veranstaltung UNCECOMP 2017, 2nd International Conference on Uncertainty Quantification in Computational Sciences and Engineering
Ort Rhodes Island, Greece
vom 15. Juni 2017 bis 17. Juni 2017
Review editorial
Titel Proceedings
Autor Proceedings
Verlag
Erscheinungsjahr 2017

To our knowledge, VERICOMP is the only existing system for automated comparison of existing verified initial value problem solvers. It has been employed as recently as in 2016. Formerly available under an address at the University of Duisburg-Essen, it will appear shortly as a new, substantially extended release under vericomp.fiw.hs-wismar.de. In this contribution, we describe the features of VERICOMP, for example, we highlight the automatization of statistics gathering and documentation processes.