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