International Seminar on Reliable Implementation of Real Number Algorithms: Theory and Practice (2006 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern