Computer-assisted verification of four interval arithmetic operators (Q2175842): Difference between revisions

@@ Property / OpenAlex ID @@
+W3014300714
@@ Property / OpenAlex ID: W3014300714 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10623
@@ Property / arXiv ID: 2003.10623 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Derived eigenvalues of symmetric matrices, with applications to distance geometry
+Normal rank
@@ Property / cites work @@
+Wave equation numerical resolution: a comprehensive mechanized proof of a C program
+Normal rank
@@ Property / cites work @@
+Interval arithmetic with containment sets
@@ Property / cites work: Interval arithmetic with containment sets / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Prover Verification of Floating-Point Programs
+Normal rank
@@ Property / cites work @@
+Certification of bounds on expressions involving rounded operators
+Normal rank
@@ Property / cites work @@
+Formal verification of numerical programs: from C annotated programs to mechanical proofs
+Normal rank
@@ Property / cites work @@
+Formal proofs of rounding error bounds. With application to an automatic positive definiteness check
+Normal rank
@@ Property / cites work @@
+A three-tier strategy for reasoning about floating-point numbers in SMT
+Normal rank