Cover Image
Read Now

1
by Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietmar
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Result Verification? -- I Preliminaries -- 2 The Features of C-XSC -- 3 Mathematical Preliminaries -- II...”
Cover Image
Read Now

2
by Klatte, Rudi, Kulisch, Ulrich, Neaga, Michael, Ratz, Dietmar
Published 1992
Springer Berlin Heidelberg
Subjects: “...Mathematics...”
Cover Image
Read Now

3
Published 1988
Springer Vienna
Table of Contents: “... Scalar Product -- Inclusion of Eigenvalues of General Eigenvalue Problems of Matrices -- Verified...”
Cover Image
Read Now

4
by Kulisch, Ulrich
Published 2013
De Gruyter
Subjects: “...MATHEMATICS / Number Theory / bisacsh...”
Cover Image
Read Now

5
by Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietmar
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... Mathematical Preliminaries -- II One-Dimensional Problems -- 4 Evaluation of Polynomials -- 5 Automatic...”