Author:Niklas Kochdumper

Publications

Keyphrases

affine arithmetic, CORA, Flow*, interval arithmetic, INTLAB, rigorous function bounds, Taylor models.