Schumacher, Günter; Bantle, Armin Automatic test case generation using interval arithmetic. (English) Zbl 1394.65180 Krämer, Walter (ed.) et al., Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19–22, 2000. New York, NY: Springer (ISBN 978-0-306-46706-6/hbk; 978-1-4757-6484-0/ebook). 81-87 (2001). MSC: 65Y04 65G30 PDFBibTeX XMLCite \textit{G. Schumacher} and \textit{A. Bantle}, in: Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19--22, 2000. New York, NY: Springer. 81--87 (2001; Zbl 1394.65180) Full Text: DOI
Musch, Klaus; Schumacher, Günter Interval analysis for embedded systems. (English) Zbl 0949.65050 Csendes, Tibor (ed.), Developments in reliable computing. SCAN-98 conference, 8th international symposium on Scientific computing, computer arithmetic and validated numerics. Budapest, Hungary, September 22-25, 1998. Dordrecht: Kluwer Academic Publishers. 149-158 (1999). MSC: 65G40 65D25 68W30 PDFBibTeX XMLCite \textit{K. Musch} and \textit{G. Schumacher}, in: Developments in reliable computing. SCAN-98 conference, 8th international symposium on Scientific computing, computer arithmetic and validated numerics. Budapest, Hungary, September 22--25, 1998. Dordrecht: Kluwer Academic Publishers. 149--158 (1999; Zbl 0949.65050)
Schumacher, Günter Auswertung von Formeln und Nullstellenbestimmung auf Rechenanlagen. (Evaluation of formulae and determination of zeros by means of computers). (German) Zbl 0719.65040 Jahrb. Überbl. Math. 1991, 47-59 (1991). Reviewer: G.Merz (Vellmar) MSC: 65H05 65D20 12Y05 PDFBibTeX XML
Schumacher, G. Einschließung der Lösung von linearen Gleichungssystemen auf Vektorrechnern. (Inclusion of the solution of systems of linear equations on vector computers). (German) Zbl 0695.65015 Wissenschaftliches Rechnen mit Ergebnisverifikation, Math. Res. 58, 239-249 (1989). Reviewer: G.Schröder MSC: 65F05 65G30 68N25 PDFBibTeX XML
Schumacher, G. Lösung nichtlinearer Gleichungen mit Verifikation des Ergebnisses. (Solution of nonlinear equations with result verification). (German) Zbl 0687.65053 Wissenschaftliches Rechnen mit Ergebnisverifikation, Math. Res. 58, 137-154 (1989). Reviewer: G.Mayer MSC: 65H10 65G30 PDFBibTeX XML
Schumacher, Günter Genauigkeitsfragen bei algebraisch-numerischen Algorithmen auf Skalar- und Vektorrechnern. (Questions of accuracy for algebraic-numerical algorithms on scalar and vector computers). (German) Zbl 0685.65039 Karlsruhe: Univ. Karlsruhe, Fak. f. Mathematik, Diss. iii, 125 S. (1989). Reviewer: Günter Schumacher MSC: 65G50 65G30 68W30 65H10 65Yxx PDFBibTeX XML
Fischer, H. C.; Schumacher, G.; Haggenmüller, R. Evaluation of arithmetic expressions with guaranteed high accuracy. (English) Zbl 0658.65045 Scientific computation with automatic result verification, Proc. Conf. Comput. Arith. Sci. Comput., Karlsruhe/FRG 1987, Comput. Suppl. 6, 149-157 (1988). Reviewer: A.Swift MSC: 65G30 65F30 PDFBibTeX XML
Fischer, H. C.; Haggenmüller, R.; Schumacher, G. Auswertung arithmetischer Ausdrücke mit garantierter hoher Genauigkeit. (Evaluation of arithmetic expressions with guaranteed high accurary). (German) Zbl 0632.65047 Siemens Forsch.- Entwicklungsber. 16, 171-177 (1987). Reviewer: G.Alefeld MSC: 65G30 65G99 PDFBibTeX XMLCite \textit{H. C. Fischer} et al., Siemens Forsch.- Entwicklungsber. 16, 171--177 (1987; Zbl 0632.65047)