VERICOMP 2.0, a Platform to Compare and Recommend Verified IVP Solvers (Vortrag)
|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|
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.