default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputer Arithmetic and Self-Validating Numerical Methods, 1990
- Christian Ullrich:
Computer Arithmetic and Self-Validating Numerical Methods. Notes and reports in mathematics in science and engineering 7, Academic Press 1990, ISBN 978-0-12-708245-5 - Gerd Bohlender:
What Do We Need Beyond IEEE Arithmetic? 1-32 - Karlheinz Hafner:
Chips for High Precision Arithmetic. 33-54 - Götz Alefeld:
Enclosure Methods. 55-72 - Louis B. Rall:
Differentiation Arithmetics. 73-90 - George F. Corliss:
Industrial Applications of Interval Techniques. 91-113 - Christian P. Ullrich:
Programming Languages for Enclosure Methods. 115-136 - Friedrich Goerisch, Zhiqing He:
The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods I. 137-153 - Henning Behnke:
The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods II. 155-170 - Hans J. Stetter:
Validated Solution of Initial Value Problems for ODE. 171-187 - Lothar Collatz:
Guaranteed Inclusions of Solutions of some Types of Boundary Value Problems. 189-198 - E. Adams:
Periodic Solutions: Enclosure, Verification, and Applications. 199-245 - Johann Schröder:
Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value Problems. 247-268 - Edgar Kaucher, Carsten W. Schulz-Rinne:
Aspects of Self-Validating Numerics in Banach Spaces. 269-299
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
