X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 1
    Book
    Book
    Scientific computing with automatic result verification / (1993)
    Boston [u.a.] :Acad. Press,
    Details
    UID:
    almahu_BV024381838
    Format: X, 612 S. : graph. Darst.
    ISBN: 0-12-044210-8
    Series Statement: Mathematics in science and engineering 189
    Language: English
    Subjects: Mathematics
    RVK:
    SK 950
    Keywords: Datenverarbeitung ; Wissenschaftliches Rechnen ; Verifikation ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung
    URL: Inhaltsverzeichnis
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
    HU Berlin get availability status
    FU Berlin get availability status
    TU Berlin get availability status
  • 2
    Online Resource
    Online Resource
    Scientific computing with automatic result verification / (1993)
    Boston :Academic Press,
    Details
    UID:
    almahu_9947366134902882
    Format: 1 online resource (625 p.)
    ISBN: 1-282-29016-9 , 9786612290169 , 0-08-095875-3
    Series Statement: Mathematics in science and engineering ; 189
    Content: Scientific computing with automatic result verification
    Note: "The bulk of the papers collected in this book represent selected material taken from doctoral or diploma theses which were written at the Institute for Applied Mathematics at the University of Karlsruhe"--P. ix. , Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic , Part II. Enclosure Methods and Algorithms with Automatic Result VerificationChapter 5. Automatic Differentiation and Applications; Chapter 6. Numerical Quadrature by Extrapolation with Automatic Result Verification; Chapter 7. Numerical Integration in Two Dimensions with Automatic Result Verification; Chapter 8. Verified Solution of Integral Equations with Applications; Chapter 9. Enclosure Methods for Linear and Nonlinear Systems of Fredholm Integral Equations of the Second Kind , Chapter 10. A Step Size Control for Lohner's Enclosure Algorithm for Ordinary Differential Equations with Initial ConditionsChapter 11. Interval Arithmetic in Staggered Correction Format; Part III. Applications in the Engineering Sciences; Chapter 12. Multiple Precision Computations with Result Verification; Chapter 13. Verification of Asymptotic Stability for Interval Matrices and Applications in Control Theory; Chapter 14. Numerical Reliability of MHD Flow Calculations; Chapter 15. The Reliability Question for Discretizations of Evolution Problems , Part I: Theoretical Consideration on FailuresPart II: Practical Failures; Chapter 16. KKR Bandstructure Calculations, A Challenge to Numerical Accuracy; Chapter 17. A Hardware Kernel for Scientific/Engineering Computations; Chapter 18. Bibliography on Enclosure Methods and Related Topics; Index , English
    Additional Edition: ISBN 0-12-044210-8
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
    FU Berlin
    Charité
  • 3
    Online Resource
    Online Resource
    Scientific computing with automatic result verification (1993)
    Boston : Academic Press
    Details
    UID:
    gbv_1684905680
    Format: 1 online resource (x, 612 p.) , Online-Ressource
    Edition: Online-Ausg.] Elsevier e-book collection on ScienceDirect
    ISBN: 0080958753 , 9780080958750
    Series Statement: Mathematics in science and engineering v. 189
    Note: Description based on print version record
    Additional Edition: ISBN 0120442108
    Additional Edition: Erscheint auch als Druck-Ausgabe Scientific computing with automatic result verification Boston [u.a.] : Academic Press, 1993 ISBN 0120442108
    Additional Edition: Available in another form Scientific computing with automatic result verification
    Language: English
    Keywords: Wissenschaftliches Rechnen ; Mathematik ; Informatik ; Aufsatzsammlung
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Stabi Berlin
    UB Potsdam
  • 4
    Book
    Book
    Scientific computing with automatic result verification (1992)
    Boston u.a. : Academic Press
    Details
    UID:
    b3kat_BV008148164
    Format: X, 612 S.
    ISBN: 0120442108
    Series Statement: Mathematics in science and engineering 189.
    Language: English
    Keywords: Datenverarbeitung ; Wissenschaftliches Rechnen ; Verifikation ; Aufsatzsammlung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    BTU Cottbus get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 0120443708?
Did you mean 0120421208?
Did you mean 012044240x?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages