Algorithm 763. Fortran 90 module for interval arithmetic

Main
Mathematics - Computational Mathematics
Algorithm 763. Fortran 90 module for...

Algorithm 763. Fortran 90 module for interval arithmetic

Kearfott.

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Mathematics - Computational Mathematics

Tahun:

1996

Penerbit:

TOMS

Bahasa:

english

Halaman:

8

File:

DJVU, 69 KB

IPFS:

,

english, 1996

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Jianer Chen — Computational Geometry: Methods and Applications

C. A. Brebbia, J. Dominguez — Boundary elements: an introductory course

Shmuel Gal (auth.), Willard L. Miranker, Richard A. Toupin (eds.) — Accurate Scientific Computations: Symposium, Bad Neuenahr, FRG, March 12–14, 1985 Proceedings

Thomas C. Hales (auth.), Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama (eds.) — Mathematical Software – ICMS 2010: Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

Pohst. — Validated computing in algebraic number fields

Amos. — Algorithm 644. Computation of Bessel functions

Smith. — Algorithm 814. Bernoulli, Gamma and related functions

Brent. — A Fortran MP Arithmetic Package

Brent. — AUGMENT interface to MP arithmetic package

Smith. — Arbitrary precision package

Ziv. — Fast evaluation of elementary functions with correct rounding

Goldberg D. — What every computer scientist should know about floating-point arithmetic

Sylvie Boldo, Guillaume Melquiond — Computer Arithmetic and Formal Proofs

E. Adams and U. Kulisch (Eds.) — Scientific Computing with Automatic Result Verification

Ramon E. Moore — Reliability in Computing. The Role of Interval Methods in Scientific Computing

Christian Ullrich — Computer Arithmetic and Self-Validating Numerical Methods

Dinechin F.A. — proven correctly rounded logarithm in double-precision

Pat Sterbenz — Floating-Point Computation

Jr. William J. Cody, William Waite — Software Manual for the Elementary Functions (Prentice-Hall series in computational mathematics)

J. K. Reid — The relationship between numerical computation and programming languages: proceedings of the IFIP TC2 Working Conference on the Relationship between Numerical Computation and Programming Languages, Boulder, Colorado, U.S.A., 3-7 August, 1981

— Global Optimization Using Interval Analysis

Michael L. Overton — Numerical Computing with IEEE Floating Point Arithmetic

Michael L. Overton — Numerical computing with IEEE floating point arithmetic

Borwein, Jonathan — Mathematics by Experiment, 2nd Edition: Plausible Reasoning in the 21st Century

John L. Gustafson — The End of Error: Unum Computing

John L. Gustafson — The End of Error: Unum Computing

Kulisch, Ulrich — Computer arithmetic and validity: Theory, implementation, and applications

Ulrich Kulisch — Computer Arithmetic and Validity: Theory, Implementation, and Applications

Ulrich Kulisch — Computer Arithmetic and Validity: Theory, Implementation, and Applications

Prof. Dr.-Ing. E. Adams (auth.), Prof. Dr. Götz Alefeld, Prof. Dr. Rolf Dieter Grigorieff (eds.) — Fundamentals of Numerical Computation (Computer-Oriented Numerical Analysis)

Ronald T. Kneusel — Numbers and Computers

Abate, Alessandro; Boldo, Sylvie — Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Jürgen Wolff von Gudenberg (auth.), René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (eds.) — Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers

Prof. Dr. Ulrich Kulisch, Dr. Rudi Klatte, Dipl.-Math. Andreas Wiethoff, Dr. Christian Lawo, Dipl.-Math. Michael Rauch (auth.) — C-XSC: A C++ Class Library for Extended Scientific Computing

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol — Reliable implementation of real number algorithms theory and practice, international seminar Dagstuhl Castle, Germany, January 8-13, 2006 revised papers

R. Baker Kearfott, John Pryce, Nathalie Revol (auth.), Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein (eds.) — Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers

Istilah kunci