جمع التبرعات 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

أكثر المصطلحات والعبارات المستخدمة