Polynomial function intervals for floating-point software verification (Q457251): Difference between revisions

@@ Property / DOI @@
-.1007/s10472-014-9409-7
@@ Property / DOI: 10.1007/s10472-014-9409-7 / rank @@
-Normal rank
@@ Property / cites work @@
+Q5558293
@@ Property / cites work: Q5558293 / rank @@
+Normal rank
@@ Property / cites work @@
+MetiTarski: An automatic theorem prover for real-valued special functions
+Normal rank
@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Floats and Ropes: A Case Study for Formal Numerical Program Verification
+Normal rank
@@ Property / cites work @@
+Static Analysis of Numerical Algorithms
@@ Property / cites work: Static Analysis of Numerical Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Coq and Gappa for Certifying Floating-Point Programs
+Normal rank
@@ Property / cites work @@
+Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Certification of bounds on expressions involving rounded operators
+Normal rank
@@ Property / cites work @@
+Polynomial function intervals for floating-point software verification
+Normal rank
@@ Property / cites work @@
+Why3 — Where Programs Meet Provers
@@ Property / cites work: Why3 — Where Programs Meet Provers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457277
@@ Property / cites work: Q5457277 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm 852
@@ Property / cites work: Algorithm 852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862958
@@ Property / cites work: Q3862958 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient control of the dependency problem based on Taylor model methods
+Normal rank
@@ Property / cites work @@
+On Taylor Model Based Integration of ODEs
@@ Property / cites work: On Taylor Model Based Integration of ODEs / rank @@
+Normal rank
@@ Property / cites work @@
+Taylor forms -- use and limits.
@@ Property / cites work: Taylor forms -- use and limits. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solving of quantified inequality constraints over the real numbers
+Normal rank
@@ Property / DOI @@
+.1007/S10472-014-9409-7
@@ Property / DOI: 10.1007/S10472-014-9409-7 / rank @@
+Normal rank