Reliable Implementation Of Real Number Algorithms Theory And Practice International Seminar Dagstuhl Castle Germany January 8 13 2006 Revised Papers