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

@@ Property / describes a project that uses @@
+Flocq
@@ Property / describes a project that uses: Flocq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+kv
@@ Property / describes a project that uses: kv / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Why3
@@ Property / describes a project that uses: Why3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CRlibm
@@ Property / describes a project that uses: CRlibm / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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