A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
scientific article; zbMATH DE number 6022013
scientific article