مشخصات کتاب

Symbolic Algebraic Methods and Verification Methods

ویرایش: 1 
نویسندگان: 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.)  
سری:  
ISBN (شابک) : 9783211835937, 9783709162804 
ناشر: Springer-Verlag Wien 
سال نشر: 2001 
تعداد صفحات: 268 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 مگابایت 

کلمات کلیدی مربوط به کتاب روشهای جبری نمادین و روشهای تأیید: الگوریتم ها، تحلیل عددی، دستکاری نمادین و جبری، ساختارهای حسابی و منطقی

در صورت تبدیل فایل کتاب Symbolic Algebraic Methods and Verification Methods به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب روشهای جبری نمادین و روشهای تأیید

"پیاده سازی" معمول اعداد واقعی به عنوان اعداد ممیز شناور در رایانه های موجود دارای این عیب شناخته شده است که اکثر اعداد واقعی دقیقاً در ممیز شناور قابل نمایش نیستند. همچنین چهار عمل اصلی حسابی معمولاً نمی توانند دقیقاً انجام شوند. در سال‌های اخیر تحقیقات در زمینه‌های مختلف به منظور غلبه بر این مشکلات تشدید شده است. مواد و روش ها). آخرین پیشرفت، ترکیب روش‌های نمادین-جبری و روش‌های راستی‌آزمایی با روش‌های به اصطلاح ترکیبی است. - این کتاب شامل مجموعه ای از گفتگوهای کار شده در مورد این موضوعات است که در یک سمینار داگستول در Forschungszentrum f?r Informatik, Schlo? Dagstuhl، آلمان، ارائه وضعیت هنر.

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

The usual "implementation” of real numbers as floating point numbers on existing computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly. During the last years research in different areas has been intensified in order to overcome these problems. (LEDA-Library by K. Mehlhorn et al., "Exact arithmetic with real numbers” by A. Edalat et al., Symbolic algebraic methods, verification methods). The latest development is the combination of symbolic-algebraic methods and verification methods to so-called hybrid methods. – This book contains a collection of worked out talks on these subjects given during a Dagstuhl seminar at the Forschungszentrum f?r Informatik, Schlo? Dagstuhl, Germany, presenting the state of the art.

فهرست مطالب

Front Matter....Pages I-IX
Introduction....Pages 1-2
Topological Concepts for Hierarchies of Variables, Types and Controls....Pages 3-10
Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem....Pages 11-20
Symbolic-Numeric Algorithms for Polynomials: some recent results....Pages 21-33
Symbolic-Numeric QD-algorithms with applications in Function theory and Linear algebra....Pages 35-54
Isoefficiency and the Parallel Descartes Method....Pages 55-67
Matrix Methods for Solving Algebraic Systems....Pages 69-78
A Feasibility Result for Interval Gaussian Elimination Relying on Graph Structure....Pages 79-86
Solution of Systems of Polynomial Equations by Using Bernstein Expansion....Pages 87-97
Symbolic-Algebraic Computations in a Modeling Language for Mathematical Programming....Pages 99-106
Translation of Taylor series into LFT expansions....Pages 107-116
Quasi Convex-Concave Extensions....Pages 117-127
Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic....Pages 129-144
Derivative-Based Subdivision in Multi-Dimensional Verified Gaussian Quadrature....Pages 145-152
On the Shape of the Fixed Points of [f]([x]) = [A] [x] + [b]....Pages 153-162
Exact Computation with leda_real — Theory and Geometrie Applications....Pages 163-172
Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations....Pages 173-181
Geometric Series Bounds for the Local Errors of Taylor Methods for Linear n -th Order ODEs....Pages 183-193
Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems....Pages 195-207
Fast verification algorithms in Matlab....Pages 209-226
The Linear Complementarity Problem with Interval Data....Pages 227-234
Some Numerical Methods for Nonlinear Least Squares Problems....Pages 235-243
A New Insight of the Shortley-Weller Approximation for Dirichlet Problems....Pages 245-253
How Orthogonality is Lost in Krylov Methods....Pages 255-266
Back Matter....Pages 267-269

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

کتاب های تصادفی

دانلود کتاب Strength Revolution: An Unconventional Guide to Strength and Conditioning

دانلود کتاب A Practical Approach to Motor Vehicle Engineering and Maint.

دانلود کتاب Bioactive Natural Products Detection, Isolation, and Structural Determination

دانلود کتاب Culture and Values: A Survey of the Western Humanities

دانلود کتاب Medieval Central Asia and the Persianate World: Iranian Tradition and Islamic Civilisation