Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMar 4th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexFor completenss and clarification I created a brief entry _[[exact real computer arithmetic]]_ and cross-linked with all the entries on mathematical type-II computability. And now I need to turn away from this computability business...

   For completenss and clarification I created a brief entry exact real computer arithmetic and cross-linked with all the entries on mathematical type-II computability.

   And now I need to turn away from this computability business…

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeFeb 9th 2023
   • (edited Feb 9th 2023)
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Jean Vuillemin]], *Exact real computer arithmetic with continued fractions*, in *LFP '88: Proceedings of the 1988 ACM conference on LISP and functional programming* (1988) 14–27 &lbrack;[doi:10.1145/62678.62681](https://doi.org/10.1145/62678.62681)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/exact+real+computer+arithmetic/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/exact+real+computer+arithmetic/5">v5</a>, <a href="https://ncatlab.org/nlab/show/exact+real+computer+arithmetic">current</a>

   added pointer to:

   • Jean Vuillemin, Exact real computer arithmetic with continued fractions, in LFP ’88: Proceedings of the 1988 ACM conference on LISP and functional programming (1988) 14–27 [doi:10.1145/62678.62681]

   diff, v5, current

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeFeb 9th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * Dave Plume (supervised by [[Martín Escardó]], [[Alex Simpson]]): *A Calculator for Exact Real Number Computation*, University of Edinburgh (1998) &lbrack;[web](https://www.dcs.ed.ac.uk/home/mhe/plume/)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/exact+real+computer+arithmetic/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/exact+real+computer+arithmetic/5">v5</a>, <a href="https://ncatlab.org/nlab/show/exact+real+computer+arithmetic">current</a>

   added pointer to:

   • Dave Plume (supervised by Martín Escardó, Alex Simpson): A Calculator for Exact Real Number Computation, University of Edinburgh (1998) [web]

   diff, v5, current

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeFeb 9th 2023
   • (edited Feb 9th 2023)
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded these pointers: * [[David Bailey]], [[Peter Borwein]], [[Simon Plouffe]]: *On the Rapid Computation of Various Polylogarithmic Constants*, Math. Comp. **66** (1997) 903-913 &lbrack;[doi:1997-66-218/S0025-5718-97-00856-9](https://www.ams.org/journals/mcom/1997-66-218/S0025-5718-97-00856-9)&rbrack; * [[Jerzy Karczmarczuk]], *Infinite precision real fractions, and lazy carry propagation* or: *The Most Unreliable Technique in the World to Compute $\pi$*, A Braga School (1998) &lbrack;[pdf](https://karczmarczuk.users.greyc.fr/arpap/lazypi.pdf)&rbrack; * [[Simon Plouffe]], *On the computation of the $n^{th}$ decimal digit of various transcendental numbers* &lbrack;[arXiv:0912.0303](https://arxiv.org/abs/0912.0303)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/exact+real+computer+arithmetic/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/exact+real+computer+arithmetic/5">v5</a>, <a href="https://ncatlab.org/nlab/show/exact+real+computer+arithmetic">current</a>

   added these pointers:

   • David Bailey, Peter Borwein, Simon Plouffe: On the Rapid Computation of Various Polylogarithmic Constants, Math. Comp. 66 (1997) 903-913 [doi:1997-66-218/S0025-5718-97-00856-9]

   • Jerzy Karczmarczuk, Infinite precision real fractions, and lazy carry propagation or: The Most Unreliable Technique in the World to Compute $\pi$, A Braga School (1998) [pdf]

   • Simon Plouffe, On the computation of the $n^{th}$ decimal digit of various transcendental numbers [arXiv:0912.0303]

   diff, v5, current

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeFeb 9th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexthe entry used to point to * [http://wwwhomes.doc.ic.ac.uk/~ae/exact-computation/](http://wwwhomes.doc.ic.ac.uk/~ae/exact-computation/) which however is dead for the moment I have recovered from the WaybackMachine * [https://web.archive.org/web/20150512035451/http://wwwhomes.doc.ic.ac.uk/~ae/exact-computation/](https://web.archive.org/web/20150512035451/http://wwwhomes.doc.ic.ac.uk/~ae/exact-computation/) <a href="https://ncatlab.org/nlab/revision/diff/exact+real+computer+arithmetic/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/exact+real+computer+arithmetic/5">v5</a>, <a href="https://ncatlab.org/nlab/show/exact+real+computer+arithmetic">current</a>

   the entry used to point to

   • http://wwwhomes.doc.ic.ac.uk/~ae/exact-computation/

   which however is dead

   for the moment I have recovered from the WaybackMachine

   • https://web.archive.org/web/20150512035451/http://wwwhomes.doc.ic.ac.uk/~ae/exact-computation/

   diff, v5, current

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeFeb 9th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Chee-Keng Yap]], [[Thomas Dubé]], *The exact computation paradigm*, in: *Computing in Euclidean Geometry*, Lecture Notes Series on Computing, World Scientific (1995) 452-492 &lbrack;[doi:10.1142/9789812831699_0011](https://doi.org/10.1142/9789812831699_0011)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/exact+real+computer+arithmetic/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/exact+real+computer+arithmetic/6">v6</a>, <a href="https://ncatlab.org/nlab/show/exact+real+computer+arithmetic">current</a>

   added pointer to:

   • Chee-Keng Yap, Thomas Dubé, The exact computation paradigm, in: Computing in Euclidean Geometry, Lecture Notes Series on Computing, World Scientific (1995) 452-492 [doi:10.1142/9789812831699_0011]

   diff, v6, current