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

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+C-CoRN
@@ Property / describes a project that uses: C-CoRN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3099251155
@@ Property / OpenAlex ID: W3099251155 / rank @@
+Normal rank
@@ 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