Computations with effective real numbers (Q817859): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2005.09.060
@@ Property / DOI: 10.1016/j.tcs.2005.09.060 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+gmp
@@ Property / describes a project that uses: gmp / 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 @@
+Mathemagix
@@ Property / describes a project that uses: Mathemagix / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iRRAM
@@ Property / describes a project that uses: iRRAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mmxlib
@@ Property / describes a project that uses: Mmxlib / 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.tcs.2005.09.060
+Normal rank
@@ Property / OpenAlex ID @@
+W2083332199
@@ Property / OpenAlex ID: W2083332199 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and complexity in analysis. 4th international workshop, CCA 2000. Swansea, GB, September 17--19, 2000. Selected papers
+Normal rank
@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342498
@@ Property / cites work: Q4342498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4226932
@@ Property / cites work: Q4226932 / rank @@
+Normal rank
@@ Property / cites work @@
+Relax, but don't be too lazy
@@ Property / cites work: Relax, but don't be too lazy / rank @@
+Normal rank
@@ Property / cites work @@
+How to recognize zero?
@@ Property / cites work: How to recognize zero? / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2005.09.060
@@ Property / DOI: 10.1016/J.TCS.2005.09.060 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:817859