论文信息 - Floating-Point Computation in PASCAL-SC with Verified Results - 字舞流文

Floating-Point Computation in PASCAL-SC with Verified Results

Jürgen Wolff von Gudenberg | J. W. V. Gudenberg

[1] Siegfried M. Rump. Computer und Rechengenauigkeit. , 1982 .

[2] Willard L. Miranker,et al. Computer arithmetic in theory and practice , 1981, Computer science and applied mathematics.

[3] G. Maess,et al. Grundlagen des numerischen Rechnens , 1984 .

[4] Siegfried M. Rump. Computer und Rechengenauigkeit / Computer and accuracy , 1982, Elektron. Rechenanlagen.

[5] Siegfried M. Rump,et al. Mathematik auf dem Rechner , 1983, Elektron. Rechenanlagen.

[6] Richard J. Fateman. Symbolic and algebraic computer programming systems , 1981, SIGS.

[7] Richard P. Brent,et al. Recent technical reports , 1977, SIGA.

[8] G. Alefeld,et al. Introduction to Interval Computation , 1983 .

[9] Ulrich W. Kulisch,et al. Wissenschaftliches Rechnen und Programmiersprachen, Fachseminar des German Chapter of the ACM am 2. und 3.4.1982 in Karlsruhe , 1982, Wissenschaftliches Rechnen und Programmiersprachen.

[10] Willard L. Miranker,et al. A new approach to scientific computation , 1983 .

[11] Ulrich Kulisch,et al. Features of a hardware implementation of an optimal arithmetic , 1983 .

[12] Siegfried M. Rump,et al. MATRIX PASCAL††Present address: IBM Deutschland, Entwicklung und Forschung, 7030 Boeblingen, West Germany , 1983 .