ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Scientific Computing with Automatic Result Verification

دانلود کتاب محاسبات علمی با تأیید خودکار نتیجه

Scientific Computing with Automatic Result Verification

مشخصات کتاب

Scientific Computing with Automatic Result Verification

ویرایش:  
نویسندگان:   
سری: Mathematics in Science and Engineering 189 
ISBN (شابک) : 9780120442102, 0120442108 
ناشر: Academic Press 
سال نشر: 1993 
تعداد صفحات: 625 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

قیمت کتاب (تومان) : 53,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب Scientific Computing with Automatic Result Verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب محاسبات علمی با تأیید خودکار نتیجه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب محاسبات علمی با تأیید خودکار نتیجه

این کتاب مجموعه ای از مقالات در مورد پیشرفت های اخیر در توسعه و کاربردهای برنامه های عددی با تأیید خودکار نتایج را ارائه می دهد. کتاب در سه بخش تنظیم شده است. بخش اول پشتیبانی زبانی لازم برای محاسبات علمی تایید شده را معرفی می‌کند که با ابزارهای مبتنی بر PASCAL، FORTRAN و C سروکار دارد. بخش سوم کاربردهای مختلف روش‌های محفظه را در مسائل علوم مهندسی، مانند محاسبات جریان MHD، گسسته‌سازی مسائل تکامل، و محاسبات ساختار نواری KKR، پوشش می‌دهد.


توضیحاتی درمورد کتاب به خارجی

This book presents a collection of papers on recent progress in the development and applications of numerical applications with automatic result verification. The book is organized in three parts. The first part introduces the necessary language support for verified scientific computations, dealing with tools based on PASCAL, FORTRAN, and C. The second part presents seven contributions to the solution of basic problems of Numerical Analysis with automatic result verification (ARV). The third part covers various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations, the discretization of evolution problems, and KKR bandstructure calculations.



فهرست مطالب

Content: 
Edited by
Page iii

Copyright page
Page iv

Contributors
Page vii

Preface
Pages ix-x

Acknowledgements
Page x

Dedication
Page x
E. Adams, U. Kulisch

Introduction
Pages 1-12
E. Adams, U. Kulisch

PASCAL-XSC New Concepts for Scientific Computation and Numerical Data Processing Original Research Article
Pages 15-44
R. Hammer, M. Neaga, D. Ratz

ACRITH-XSC A Fortran—like Language for Verified Scientific Computing Original Research Article
Pages 45-70
Wolfgang V. Walter

C-XSC A Programming Environment for Verified Scientific Computing and Numerical Data Processing Original Research Article
Pages 71-86
Christian Lawo

Proposal for Accurate Floating-Point Vector Arithmetic Original Research Article
Pages 87-102
G. Bohlender, D. Cordes, A. Knöfel, U. Kulisch, R. Lohner, W.V. Walter

Automatic Differentiation and Applications Original Research Article
Pages 105-142
Hans-Christoph Fischer

Numerical Quadrature by Extrapolation with Automatic Result Verification Original Research Article
Pages 143-185
Rainer Kelch

Numerical Integration in Two Dimensions with Automatic Result Verification Original Research Article
Pages 187-224
Ulrike Storck

Verified Solution of Integral Equations with Applications Original Research Article
Pages 225-253
Hans-Jürgen Dobner

Enclosure Methods for Linear and Nonlinear Systems of Fredholm Integral Equations of the Second Kind Original Research Article
Pages 255-282
Wolfram Klein

A Step Size Control for Lohner\'s Enclosure Algorithm for Ordinary Differential Equations with Initial Conditions Original Research Article
Pages 283-299
W. Rufeger, E. Adams

Interval Arithmetic in Staggered Correction Format Original Research Article
Pages 301-321
Rudolf J. Lohner

Multiple-Precision Computations with Result Verification Original Research Article
Pages 325-356
Walter Krämer

Verification of Asymptotic Stability for Interval Matrices and Applications in Control Theory Original Research Article
Pages 357-395
Beate Gross

Numerical Reliability of MHD Flow Calculations Original Research Article
Pages 397-421
Wera U. Klein

The Reliability Question for Discretizations of Evolution Problems Original Research Article
Pages 423-526
Ernst Adams

KKR Bandstructure Calculations, A Challenge to Numerical Accuracy Original Research Article
Pages 527-547
R. Schütz, H. Winter, G. Ehret

A Hardware Kernel for Scientific/Engineering Computations Original Research Article
Pages 549-570
Andreas Knöfel

Bibliography on Enclosure Methods and Related Topics Original Research Article
Pages 571-608
Gerd Bohlender

Index
Pages 609-612





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی