Reliable implementation of real number algorithms: theory and practice : international seminar Dagstuhl Castle, Germany, January 8-13, 2006 : revised papers - Hertling, Peter (Lecture notes in computer science ;, 2008)