Computing with Real Numbers

Add to your list(s) Download to your calendar using vCal

• Arno Pauly (University of Cambridge)
• Friday 21 January 2011, 16:00-17:00
• LT1, Computer Laboratory, William Gates Builiding.

If you have a question about this talk, please contact Nishanth Sastry.

How can real numbers be represented in order to compute with them? Floating point numbers offer only finite precision, and this can have a devastating impact in some applications. Exact real number computation is possible, however, using lazy lists. Some examples are given that demonstrate the principles of corresponding algorithms, and the limits of computability in this regard.

This talk is part of the Current Research Topics (Computer Laboratory) 2010-11 series.

This talk is included in these lists:

• Current Research Topics (Computer Laboratory) 2010-11
• LT1, Computer Laboratory, William Gates Builiding

Note that ex-directory lists are not shown.