Computer Arithmetic and Self-Validating Numerical Methods - researchr publication

researchr

You are not signed in
Sign in
Sign up

Christian Ullrich, editor, Computer Arithmetic and Self-Validating Numerical Methods. Volume 7 of Notes and reports in mathematics in science and engineering, Academic Press, 1990. [doi]

Abstract is missing.

What Do We Need Beyond IEEE Arithmetic?Gerd Bohlender. 1-32 [doi]

Chips for High Precision ArithmeticKarlheinz Hafner. 33-54 [doi]

Enclosure MethodsGötz Alefeld. 55-72 [doi]

Differentiation ArithmeticsLouis B. Rall. 73-90 [doi]

Industrial Applications of Interval TechniquesGeorge F. Corliss. 91-113 [doi]

Programming Languages for Enclosure MethodsChristian P. Ullrich. 115-136 [doi]

The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods IFriedrich Goerisch, Zhiqing He. 137-153 [doi]

The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods IIHenning Behnke. 155-170 [doi]

Validated Solution of Initial Value Problems for ODEHans J. Stetter. 171-187 [doi]

Guaranteed Inclusions of Solutions of some Types of Boundary Value ProblemsLothar Collatz. 189-198 [doi]

Periodic Solutions: Enclosure, Verification, and ApplicationsE. Adams. 199-245 [doi]

Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value ProblemsJohann Schröder. 247-268 [doi]

Aspects of Self-Validating Numerics in Banach SpacesEdgar Kaucher, Carsten W. Schulz-Rinne. 269-299 [doi]

runs on WebDSL