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
Published 2001
Springer Vienna
Table of Contents: “...Proving Conjectures by Use of Interval Arithmetic -- 1 Computer Assisted Proofs in Analysis -- 2...”
Cover Image
Read Now

3
Published 1988
Springer Vienna
Subjects: “...Numerical Analysis...”
Cover Image
Read Now

4
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...”