Computer Arithmetic and Self-Validating Numerical Methods

Main
Computers - Computer Science
Computer Arithmetic and Self-Validating...

Computer Arithmetic and Self-Validating Numerical Methods

Christian Ullrich

0 / 0

آپ کو یہ کتاب کتنی پسند ہے؟

فائل کی کوالٹی کیا ہے؟

کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں

فائل کی کوالٹی کیا ہے؟

سب زمرہ:

Computers - Computer Science

سال:

1990

ناشر کتب:

Elsevier Inc, Academic Press

زبان:

english

صفحات:

312

ISBN 10:

012708245X

ISBN 13:

9780127082455

سیریز:

Notes and Reports in Mathematics in Science and Engineering

فائل:

PDF, 10.99 MB

IPFS:

,

english, 1990

آن لائن پڑھیں

میں تبدیلی جاری ہے۔

میں تبدیلی ناکام ہو گئی۔

آپ کو دلچسپی ہوسکتی ہے

John R. Rice — Mathematical Software

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

Demmel J.W. — Applied Numerical Linear Algebra

Demmel J. — Applied numerical linear algebra

Brualdi R.A. (ed.), Schneider H. (ed.) — Linear Algebra and its Applications. Volume 324

V. Lakshmikantham and S.K. Sen (Eds.) — Computational Error and Complexity in Science and Engineering

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

Symposium on Numerical Solutions of Boundary Value Problems for Ordina — Numerical Solutions of Boundary Value Problems for Ordinary Differential Equations

Edgar W. Kaucher, Willard L. Miranker and Werner Rheinboldt (Auth.) — Self-Validating Numerics for Function Space Problems. Computation with Guarantees for Differential and Integral Equations

Ulrich W. Kulisch, Willard L. Miranker — A New Approach to Scientific Computation

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

Karl L.E. Nickel — Interval Mathematics 1980

Christian Ullrich — Computer Arithmetic and Self-Validating Numerical Methods

John D. Pryce — Numerical Solution of Sturm-Liouville Problems

Jurgen Herzberger — Topics in validated computations: proceedings of IMACS-GAMM International Workshop on Validated Computation, Oldenburg, Germany, 30 August-3 September 1993

Bertil Gustafsson; H Kreiss; Joseph Oliger — Time dependent problems and difference methods

Arieh Iserles (Editor) — Acta Numerica 2010 (Volume 19)

— Dr.Dobb's essential books on numerics and numerical programming CD

Don Hinton — Spectral theory and computational methods of Sturm-Liouville problems Proc. Tennessee

R S Anderssen, G N Newsam — Special program on inverse problems, Canberra, 1986

— Global Optimization Using Interval Analysis

Ramon E. Moore — Methods and applications of interval analysis

Cleve B. Moler — Numerical computing with MATLAB

Edited by Bo Einarsson — Accuracy and reliability in scientific computing

Lawrence Turyn — Advanced Engineering Mathematics

Olga Moreira (editor) — Numerical Methods and their applications to Linear Algebra

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

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

D. Bainov (editor) — Proceedings of the Eighth International Colloquium on Differential Equations, Plovdiv, Bulgaria, 18–23 August, 1997

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)

Andreas Frommer (auth.), Prof. Dr. Ulrich Kulisch, Priv.-Doz. Dr. Rudolf Lohner, Dr. Axel Facius (eds.) — Perspectives on Enclosure Methods

G. Alefeld, J. Rohn, S. M. Rump, T. Yamamoto (auth.), Univ. –Prof. Dr. Götz Alefeld, Prof. Dr. Jiří Rohn, Prof. Dr. Siegfried Rump, Prof. Dr. Tetsuro Yamamoto (eds.) — Symbolic Algebraic Methods and Verification Methods

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

Christian Ullrich, Jürgen Wolff von Gudenberg — Accurate Numerical Algorithms. A Collection of Research Papers

Christoph W. Ueberhuber (auth.) — Numerical Computation 1: Methods, Software, and Analysis

اہم جملے