|
|
by Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietmar
Published 1995
Table of Contents:
“... Result Verification? -- I Preliminaries -- 2 The Features of C-XSC -- 3 Mathematical Preliminaries -- II...”Published 1995
Springer Berlin Heidelberg
|
|
by Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietmar
Published 1993
Table of Contents:
“... Mathematical Preliminaries -- II One-Dimensional Problems -- 4 Evaluation of Polynomials -- 5 Automatic...”Published 1993
Springer Berlin Heidelberg