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

@@ 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