Implementing Real Numbers With RZ (Q4918049): Difference between revisions

@@ Property / describes a project that uses @@
+RealLib
@@ Property / describes a project that uses: RealLib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPFR
@@ Property / describes a project that uses: MPFR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RZ
@@ Property / describes a project that uses: RZ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iRRAM
@@ Property / describes a project that uses: iRRAM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.03.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2119156095
@@ Property / OpenAlex ID: W2119156095 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115902565
@@ Property / Wikidata QID: Q115902565 / rank @@
+Normal rank
@@ Property / cites work @@
+RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
+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 @@
+RealLib: An efficient implementation of exact real arithmetic
+Normal rank
@@ Property / cites work @@
+Q4499146
@@ Property / cites work: Q4499146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531992
@@ Property / cites work: Q4531992 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766044
@@ Property / cites work: Q4766044 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4918049