A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure

From MaRDI portal
(Redirected from Publication:411447)