توضیحاتی در مورد کتاب C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
نام کتاب : C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
ویرایش : reprint
عنوان ترجمه شده به فارسی : جعبه ابزار C++ برای محاسبات تایید شده I: نظریه مسائل عددی پایه، الگوریتم ها و برنامه ها
سری :
نویسندگان : Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
ناشر : Springer
سال نشر : 1995,2011
تعداد صفحات : 389
ISBN (شابک) : 3642796532 , 9783642796531
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
هدف ما از نگارش این کتاب ارائه مجموعه ای گسترده از برنامه های C برای حل مسائل عددی پایه با تأیید نتایج بود. این جعبه ابزار C برای محاسبات تایید شده I نسخه C جعبه ابزار عددی برای محاسبات تایید شده l است. برنامههای نسخه اصلی با PASCAL-XSC، یک افزونه PASCAL برای محاسبات علمی نوشته شدهاند. از زمانی که اولین نسخه را منتشر کردیم، درخواست های زیادی از خوانندگان و کاربران ابزارهایمان برای نسخه ای به زبان C دریافت کردیم. ما این دیدگاه را داریم که اهمیت C در زمینه محاسبات عددی در حال افزایش است. C شامل C می شود اما به عنوان یک زبان تایپ شده و به دلیل مفاهیم مدرن آن بر C برتری دارد. برای به دست آوردن درجه کارایی که PASCAL-XSC ارائه می دهد از کتابخانه C-XSC استفاده کردیم. C-XSC یک کتابخانه کلاس C برای محاسبات علمی پیشرفته است. C و کتابخانه C-XSC جایگزین مناسبی برای XSC-Ianguages خاص مانند PASCAL-XSC یا ACRITH-XSC هستند. نسخه اشتراکافزار کتابخانه C-XSC و منابع برنامههای جعبه ابزار بهطور رایگان از طریق ftp ناشناس در دسترس هستند یا میتوان آنها را در مقابل بازپرداخت هزینهها سفارش داد. برنامه های این کتاب به بینش زیادی در مورد ویژگی های C نیاز ندارند. به ویژه، تکنیک های برنامه نویسی شی گرا مورد نیاز نیست.
فهرست مطالب :
Front Matter....Pages i-xvii
Introduction....Pages 1-14
Front Matter....Pages 15-15
The Features of C-XSC....Pages 17-29
Mathematical Preliminaries....Pages 30-53
Front Matter....Pages 55-55
Evaluation of Polynomials....Pages 57-69
Automatic Differentiation....Pages 70-92
Nonlinear Equations in One Variable....Pages 93-112
Global Optimization....Pages 113-139
Evaluation of Arithmetic Expressions....Pages 140-163
Zeros of Complex Polynomials....Pages 164-185
Front Matter....Pages 187-187
Linear Systems of Equations....Pages 189-209
Linear Optimization....Pages 210-243
Automatic Differentiation for Gradients, Jacobians, and Hessians....Pages 244-292
Nonlinear Systems of Equations....Pages 293-311
Global Optimization....Pages 312-342
Back Matter....Pages 343-382
توضیحاتی در مورد کتاب به زبان اصلی :
Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the C++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition were written in PASCAL-XSC, a PASCAL eXtension for Scientific Computation. Since we published the first edition we have received many requests from readers and users of our tools for a version in C++. We take the view that C++ is growing in importance in the field of numeri cal computing. C++ includes C, but as a typed language and due to its modern concepts, it is superior to C. To obtain the degree of efficiency that PASCAL-XSC provides, we used the C-XSC library. C-XSC is a C++ class library for eXtended Scientific Computing. C++ and the C-XSC library are an adequate alternative to special XSC-Ianguages such as PASCAL-XSC or ACRITH-XSC. A shareware version of the C-XSC library and the sources of the toolbox programs are freely available via anonymous ftp or can be ordered against reimbursement of expenses. The programs of this book do not require a great deal of insight into the features of C++. Particularly, object oriented programming techniques are not required.