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

DOI10.1007/s00607-011-0161-0zbMath1238.65037OpenAlexW2028291049MaRDI QIDQ411447

Stefan Kiel, Eva Dyllong

Publication date: 4 April 2012

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-011-0161-0

zbMATH Keywords

algorithmnumerical examplesinterval arithmeticKlein bottlehierarchical decompositionverified computationdistance computationimplicit objects

Mathematics Subject Classification ID

Algorithms with automatic result verification (65G20)

Uses Software

• C-XSC
• C-XSC 2.0
• FADBAD++
• Cosy
• IbexOpt
• V-Clip

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The cluster problem in multivariate global optimization
• The GJK distance algorithm: an interval version for incremental motions
• Foundations of multidimensional and metric data structures.
• An Accurate Distance Algorithm for Octree-Encoded Objects
• Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations
• Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n
• Interval Methods for Systems of Equations
• Numerical Software with Result Verification
• A heuristic rejection criterion in interval global optimization algorithms

This page was built for publication: A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure