Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

C++ Toolbox for Verified Computing I: Basic Numerical...

Main
C++ Toolbox for Verified Computing I:...

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

Rolf Hammer, Matthias Hocks, Ulrich W. Kulisch

0 / 0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Рік:

2011

Видавництво:

Springer

Мова:

english

Сторінки:

382

ISBN 10:

3642796532

ISBN 13:

9783642796531

Файл:

PDF, 12.93 MB

IPFS:

,

english, 2011

Скачування цієї книги недоступне за скаргою правовласника

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Можливо вас зацікавить

Björck Å., Dahlquist G. — Numerical mathematics and scientific computation

Moler C. B. — Numerical Computing with MATLAB

Moler C — Numerical Computing with Matlab Cleve Moler

Moler — Numerical Computing with MATLAB

Ralston A., Wilf H.S. (eds.) — Mathematical methods for digital computers,

Anthony Ralston, Herbert S. Wilf — Mathematical Methods for Digital Computers, Volume 2

Samuel Daniel Conte — Elementary numerical analysis: algorithmic approach

Oliver Aberth — Introduction to precise numerical methods

J. M. McNamee — Numerical Methods for Roots of Polynomials: Part 1

Gotz Alefeld, Jurgen Herzberger — Introduction to interval computations

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

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

R. Hammer, M. Hocks, U. Kulisch, D. Ratz — Numerical toolbox for verified computing 1

L. F. Shampine, Rebecca Chan Allen, S. Pruess — Fundamentals of numerical computing

A. Neumaier — Interval methods for systems of equations

Arnold Neumaier — Introduction to numerical analysis

Warwick Tucker — Validated Numerics: A Short Introduction to Rigorous Computations

Muller J.M. — Elementary Functions : Algorithms and Implementation

Cleve B. Moler — Numerical computing with MATLAB

Edited by Bo Einarsson — Accuracy and reliability in scientific computing

Dahlquist G., Bjoerck A. — Numerical Methods in Scientific Computing

Cleve B. Moler — Numerical Computing with MATLAB, Revised Reprint

G. Miller — Numerical Analysis for Engineers and Scientists

R.A. Thisted — Elements of Statistical Computing: Numerical Computation

Warwick Tucker — Validated Numerics: A Short Introduction to Rigorous Computations

P. M. Dew, K. R. James (auth.) — Introduction to Numerical Computation in Pascal

S.D. Conte (author)|Carl de Boor (author) — Elementary Numerical Analysis: An Algorithmic Approach Updated with MATLAB

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

Éric Walter — Numerical Methods and Optimization; A Consumer Guide

Gander, Walter — Learning MATLAB: a problem solving approach

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

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

Ключові фрази