\(C^1\) Lohner algorithm.
scientific article; zbMATH DE number 1890495