Symbolic, algebraic and Validated numerical computation Dagstuhl-Seminar-Report; 43 03.08.-07.08.92(9232) - Davenport, James H.; Kruckeberg, Fritz; Moore, Ramon E.