Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski. Integration of reliable algorithms into modeling software. In Bruno Buchberger, Shin ichi Oishi, Michael Plum, Siegfried M. Rump, editors, Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Volume 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]
Abstract is missing.