Hertling, Peter..Reliable implementation of real number algorithms : theory and practice : international seminar, Dagstuhl Castle, Germany, January 8 - 13, 2006 : revised papers /.Springer,,c2008..
Reliable implementation of real number algorithms : theory and practice : international seminar, Dagstuhl Castle, Germany, January 8 - 13, 2006 : revised papers /