Survey on practical complexity of computations with real numbers, featuring computable real numbers, ball arithmetic and efficient algorithms for multiple precision arithmetic.

Occasion: CIE 2013, Milano, July 2, 2013

Documents: slideshow, TeXmacs source