Proving Bounds on Real-Valued Functions with Computations (Q3541683): Difference between revisions

@@ Property / cites work @@
+A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers
+Normal rank
@@ Property / cites work @@
+A Computational Approach to Pocklington Certificates in Type Theory
+Normal rank
@@ Property / cites work @@
+Implementing the cylindrical algebraic decomposition within the Coq system
+Normal rank
@@ Property / cites work @@
+Verifying Nonlinear Real Formulas Via Sums of Squares
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Global Optimisation with Taylor Models
@@ Property / cites work: Formal Global Optimisation with Taylor Models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3207999
@@ Property / cites work: Q3207999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790659
@@ Property / cites work: Q4790659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767010
@@ Property / cites work: Q2767010 / rank @@
+Normal rank