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

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

Revision as of 18:38, 29 June 2023