A coinductive approach to exact real number computation

24^th February 2009, 16:00
Dr Ulrich Berger
Department of Computer Science, University of Wales Swansea, UK