A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
type: Item
instance of: scholarly article
title: A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
zbMATH Open document ID: 1238.65037
author: E. Dyllong
author: Stefan Kiel
published in: Computing
publication date: 2012-04-04T00:00:00Z
Mathematics Subject Classification ID: 65G20
zbMATH DE Number: 6022013
zbMATH Keywords: distance computation
zbMATH Keywords: hierarchical decomposition
zbMATH Keywords: implicit objects
zbMATH Keywords: interval arithmetic
zbMATH Keywords: verified computation
zbMATH Keywords: numerical examples
zbMATH Keywords: algorithm
zbMATH Keywords: Klein bottle
describes a project that uses: C-XSC 2.0
describes a project that uses: Cosy
describes a project that uses: IbexOpt
describes a project that uses: C-XSC
describes a project that uses: FADBAD++
describes a project that uses: V-Clip
MaRDI profile type: Publication
full work available at URL: s00607-011-0161-0
OpenAlex ID: W2028291049
cites work: Q3345690
cites work: A heuristic rejection criterion in interval global optimization algorithms
cites work: The cluster problem in multivariate global optimization
cites work: An Accurate Distance Algorithm for Octree-Encoded Objects
cites work: The GJK distance algorithm: an interval version for incremental motions
cites work: Q4941400
cites work: Q4445267
cites work: Numerical Software with Result Verification
cites work: Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations
cites work: Interval Methods for Systems of Equations
cites work: Foundations of multidimensional and metric data structures.
cites work: Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n
DOI: 10.1007/S00607-011-0161-0
description: scientific article; zbMATH DE number 6022013