Arbitrary precision real arithmetic: design and algorithms (Q1779562): Difference between revisions

@@ Property / describes a project that uses @@
+MPFR
@@ Property / describes a project that uses: MPFR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BIGNUM
@@ Property / describes a project that uses: BIGNUM / 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.jlap.2004.07.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2052324986
@@ Property / OpenAlex ID: W2052324986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994368
@@ Property / cites work: Q3994368 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Multiple-Precision Evaluation of Elementary Functions
+Normal rank
@@ Property / cites work @@
+Computing with infinite objects
@@ Property / cites work: Computing with infinite objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4048487
@@ Property / cites work: Q4048487 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140942
@@ Property / cites work: Q3140942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222886
@@ Property / cites work: Q4222886 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy computation with exact real numbers
@@ Property / cites work: Lazy computation with exact real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Contractivity of linear fractional transformations
+Normal rank
@@ Property / cites work @@
+Q2738484
@@ Property / cites work: Q2738484 / rank @@
+Normal rank
@@ Property / cites work @@
+Using PVS to validate the algorithms of an exact arithmetic.
+Normal rank
@@ Property / cites work @@
+Q4531992
@@ Property / cites work: Q4531992 / rank @@
+Normal rank
@@ Property / cites work @@
+Feasible real random access machines
@@ Property / cites work: Feasible real random access machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532001
@@ Property / cites work: Q4532001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531979
@@ Property / cites work: Q4531979 / rank @@
+Normal rank