preprint · 2006
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential...
5 citationsDOI: https://doi.org/10.48550/arxiv.cs/0602005Open accessPDF reported by metadata