Formal Verification of Exact Computations Using Newton’s Method (Q3183542): Difference between revisions

@@ Property / OpenAlex ID @@
+W1503708287
@@ Property / OpenAlex ID: W1503708287 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+A proof of GMP square root
@@ Property / cites work: A proof of GMP square root / rank @@
+Normal rank
@@ Property / cites work @@
+Modern Computer Arithmetic
@@ Property / cites work: Modern Computer Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754041
@@ Property / cites work: Q2754041 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard analysis in ACL2
@@ Property / cites work: Nonstandard analysis in ACL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231030
@@ Property / cites work: Q4231030 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of square root algorithms
@@ Property / cites work: Formal verification of square root algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531982
@@ Property / cites work: Q4531982 / rank @@
+Normal rank
@@ Property / cites work @@
+Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
+Normal rank
@@ Property / cites work @@
+Q3184782
@@ Property / cites work: Q3184782 / rank @@
+Normal rank
@@ Property / cites work @@
+Real Number Calculations and Theorem Proving
@@ Property / cites work: Real Number Calculations and Theorem Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Formal Reasoning in Exact Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Certified Exact Transcendental Real Number Computation in Coq
+Normal rank
@@ Property / cites work @@
+Q4427909
@@ Property / cites work: Q4427909 / rank @@
+Normal rank