A validated real function calculus (Q1949769): Difference between revisions

@@ Property / DOI @@
-.1007/s11786-011-0102-5
@@ Property / DOI: 10.1007/s11786-011-0102-5 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11786-011-0102-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2045381394
@@ Property / OpenAlex ID: W2045381394 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Coq and Gappa for Certifying Floating-Point Programs
+Normal rank
@@ Property / cites work @@
+Chebyshev interpolation polynomial-based tools for rigorous computing
+Normal rank
@@ Property / cites work @@
+Efficient and accurate computation of upper bounds of approximation errors
+Normal rank
@@ Property / cites work @@
+Q4790659
@@ Property / cites work: Q4790659 / rank @@
+Normal rank
@@ Property / cites work @@
+The chebop system for automatic solution of differential equations
+Normal rank
@@ Property / cites work @@
+Q4808034
@@ Property / cites work: Q4808034 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Multivariate Horner Scheme
@@ Property / cites work: On the Multivariate Horner Scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
+Normal rank
@@ Property / cites work @@
+Computing numerically with functions instead of numbers
+Normal rank
@@ Property / cites work @@
+Formal Global Optimisation with Taylor Models
@@ Property / cites work: Formal Global Optimisation with Taylor Models / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11786-011-0102-5
@@ Property / DOI: 10.1007/S11786-011-0102-5 / rank @@
+Normal rank