Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (Q1779571): Difference between revisions

@@ Property / cites work @@
+Q4003880
@@ Property / cites work: Q4003880 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified high-order inversion of functional dependencies and interval Newton methods
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+New methods for high-dimensional verified quadrature
+Normal rank
@@ Property / cites work @@
+A floating-point technique for extending the available precision
+Normal rank
@@ Property / cites work @@
+Accuracy and Stability of Numerical Algorithms
@@ Property / cites work: Accuracy and Stability of Numerical Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of invertibility of complicated functions over large domains
+Normal rank
@@ Property / cites work @@
+Higher order verified inclusions of multidimensional systems by Taylor models.
+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 @@
+Adaptive precision floating-point arithmetic and fast robust geometric predicates
+Normal rank