A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (Q411447): Difference between revisions

@@ Property / DOI @@
-.1007/s00607-011-0161-0
@@ Property / DOI: 10.1007/s00607-011-0161-0 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G20
@@ Property / Mathematics Subject Classification ID: 65G20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6022013
@@ Property / zbMATH DE Number: 6022013 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distance computation
@@ Property / zbMATH Keywords: distance computation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hierarchical decomposition
@@ Property / zbMATH Keywords: hierarchical decomposition / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+implicit objects
@@ Property / zbMATH Keywords: implicit objects / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interval arithmetic
@@ Property / zbMATH Keywords: interval arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verified computation
@@ Property / zbMATH Keywords: verified computation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+numerical examples
@@ Property / zbMATH Keywords: numerical examples / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithm
@@ Property / zbMATH Keywords: algorithm / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Klein bottle
@@ Property / zbMATH Keywords: Klein bottle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+C-XSC 2.0
@@ Property / describes a project that uses: C-XSC 2.0 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cosy
@@ Property / describes a project that uses: Cosy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IbexOpt
@@ Property / describes a project that uses: IbexOpt / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+C-XSC
@@ Property / describes a project that uses: C-XSC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FADBAD++
@@ Property / describes a project that uses: FADBAD++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+V-Clip
@@ Property / describes a project that uses: V-Clip / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00607-011-0161-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2028291049
@@ Property / OpenAlex ID: W2028291049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345690
@@ Property / cites work: Q3345690 / rank @@
+Normal rank
@@ Property / cites work @@
+A heuristic rejection criterion in interval global optimization algorithms
+Normal rank
@@ Property / cites work @@
+The cluster problem in multivariate global optimization
+Normal rank
@@ Property / cites work @@
+An Accurate Distance Algorithm for Octree-Encoded Objects
+Normal rank
@@ Property / cites work @@
+The GJK distance algorithm: an interval version for incremental motions
+Normal rank
@@ Property / cites work @@
+Q4941400
@@ Property / cites work: Q4941400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4445267
@@ Property / cites work: Q4445267 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations
+Normal rank
@@ Property / cites work @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of multidimensional and metric data structures.
+Normal rank
@@ Property / cites work @@
+Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n
+Normal rank
@@ Property / DOI @@
+.1007/S00607-011-0161-0
@@ Property / DOI: 10.1007/S00607-011-0161-0 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:411447