عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3211820639
شابک
3709169577
شابک
9783211820636
شابک
9783709169575
شماره کتابشناسی ملی
شماره
b548375
عنوان و نام پديدآور
عنوان اصلي
Scientific Computation with Automatic Result Verification
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Ulrich Kulisch, Hans J. Stetter.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Vienna
نام ناشر، پخش کننده و غيره
Springer Vienna
تاریخ نشرو بخش و غیره
1988
مشخصات ظاهری
نام خاص و کميت اثر
(VIII, 244 pages 22 illustrations)
فروست
عنوان فروست
Computing (Springer-Verlag)., Supplementum ;, 6.
یادداشتهای مربوط به مندرجات
متن يادداشت
Automatic Result Verification --;I. Numerical Methods with Result Verification --;A Method for Producing Verified Results for Two-point Boundary Value Problems --;A Kind of Difference Method for Enclosing Solutions of Ordinary Linear Boundary Value Problems --;A Self-validating Method for Solving Linear Programming Problems with Interval Input Data --;Enclosing the Solutions of Linear Equations by Interval Iterative Processes --;Errorbounds for Quadratic Systems of Nonlinear Equations Using the Precise Scalar Product --;Inclusion of Eigenvalues of General Eigenvalue Problems of Matrices --;Verified Inclusion for Eigenvalues of Certain Difference and Differential Equations --;II. Applications in the Technical Sciences --;VIB --;Verified Inclusions of Critical Bending Vibrations --;Stability Test for Periodic Differential Equations on Digital Computers with Applications --;The Periodic Solutions of the Oregonator and Verification of Results --;On Arithmetical Problems of Geometric Algorithms in the Plane --;III. Improving the Tools --;Precise Evaluation of Polynomials in Several Variables --;Evaluation of Arithmetic Expressions with Guaranteed High Accuracy --;Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy --;Inverse Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy --;Inclusion Algorithms with Functions as Data --;FORTRAN-SC. A Study of a FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Mathematics.
موضوع مستند نشده
Microprogramming.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Ulrich Kulisch, Hans J. Stetter.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Hans J Stetter
مستند نام اشخاص تاييد نشده
Ulrich Kulisch
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
