Certified Exact Transcendental Real Number Computation in Coq (Q3543662): Difference between revisions

@@ Property / arXiv ID @@
+.2438
@@ Property / arXiv ID: 0805.2438 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Program Extraction from Large Proof Developments
@@ Property / cites work: Program Extraction from Large Proof Developments / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852042
@@ Property / cites work: Q2852042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736391
@@ Property / cites work: Q4736391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4549245
@@ Property / cites work: Q4549245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231030
@@ Property / cites work: Q4231030 / rank @@
+Normal rank
@@ Property / cites work @@
+Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
+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 @@
+A monadic, functional implementation of real numbers
+Normal rank
@@ Property / cites work @@
+Disproof of the Mertens conjecture.
@@ Property / cites work: Disproof of the Mertens conjecture. / rank @@
+Normal rank
@@ Property / cites work @@
+Real numbers and other completions
@@ Property / cites work: Real numbers and other completions / rank @@
+Normal rank