مشخصات کتاب

Computer Algebra in Scientific Computing: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

ویرایش: 1 
نویسندگان: S. A. Abramov,  M. Petkovšek (auth.),  Victor G. Ganzha,  Ernst W. Mayr,  Evgenii V. Vorozhtsov (eds.)  
سری: Lecture Notes in Computer Science 4770 
ISBN (شابک) : 9783540751861, 9783540751878 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 469 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت 

کلمات کلیدی مربوط به کتاب جبر رایانه ای در محاسبات علمی: دهمین کارگاه بین المللی، CASC 2007، بن، آلمان، 16-20 سپتامبر 2007. مجموعه مقالات: دستکاری نمادین و جبری، تکنیک های برنامه نویسی، ریاضیات گسسته در علوم کامپیوتر، تحلیل الگوریتم و پیچیدگی مسائل، کاربردهای ریاضی در علوم کامپیوتر، الگوریتم ها

در صورت تبدیل فایل کتاب Computer Algebra in Scientific Computing: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب جبر رایانه ای در محاسبات علمی: دهمین کارگاه بین المللی، CASC 2007، بن، آلمان، 16-20 سپتامبر 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب جبر رایانه ای در محاسبات علمی: دهمین کارگاه بین المللی، CASC 2007، بن، آلمان، 16-20 سپتامبر 2007. مجموعه مقالات



این کتاب مجموعه مقالات داوری دهمین کارگاه بین‌المللی جبر رایانه‌ای در محاسبات علمی، CASC 2007 است که در شهر بن، آلمان، در سپتامبر 2007 برگزار شد. این جلد به مناسبت 60 سالگی پروفسور ولادیمیر پی. گردت تقدیم شده است تولد.

35 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از بین ارسال های متعدد برای گنجاندن در کتاب انتخاب شدند. این مقالات نه تنها کاربردهای مختلف جبر کامپیوتری را در محاسبات علمی، بلکه خود سیستم های جبر کامپیوتری و الگوریتم های CA را نیز پوشش می دهند. موضوعات مورد بحث، مطالعات در جبر چند جمله ای و ماتریسی، حذف کمیت، و پایه های Gr?bner، و همچنین بررسی پایداری معادلات دیفرانسیل و روش های تفاوت برای آنها است. چندین مقاله به کاربرد روش ها و الگوریتم های جبر رایانه ای برای استخراج مدل های جدید ریاضی در زیست شناسی و فیزیک ریاضی اختصاص داده شده است.

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

This book constitutes the refereed proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, held in Bonn, Germany, in September 2007. The volume is dedicated to Professor Vladimir P. Gerdt on the occasion of his 60th birthday.

The 35 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in polynomial and matrix algebra, quantifier elimination, and Gr?bner bases, as well as stability investigation of both differential equations and difference methods for them. Several papers are devoted to the application of computer algebra methods and algorithms to the derivation of new mathematical models in biology and in mathematical physics.

فهرست مطالب

Front Matter....Pages -
Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation....Pages 1-10
Computations in Modules over Commutative Domains....Pages 11-23
Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds....Pages 24-30
An Efficient LLL Gram Using Buffered Transformations....Pages 31-44
On the Computation of A  ∞  -Maps....Pages 45-57
Algebraic Visualization of Relations Using RelView ....Pages 58-72
Comprehensive Triangular Decomposition....Pages 73-101
Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations....Pages 102-117
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates....Pages 118-133
An Algorithm for Construction of Normal Forms....Pages 134-142
Computer Algebra: A ‘Classical’ Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory....Pages 143-144
Deducing the Constraints in the Light-Cone SU (3) Yang-Mills Mechanics Via Gröbner Bases....Pages 145-159
On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game....Pages 160-168
Properties of the Liapunov Stability Zones of the Lagrange Triangle....Pages 169-180
Studying the Stability of the Second Order Non-autonomous Hamiltonian System....Pages 181-194
On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems....Pages 195-210
A Unified Algorithm for Multivariate Analytic Factorization....Pages 211-223
On the Computation of the Defining Polynomial of the Algebraic Riccati Equation....Pages 224-235
Symmetries and Dynamics of Discrete Systems....Pages 236-251
Exact Solutions of Completely Integrable Systems and Linear ODE’s Having Elliptic Function Coefficients....Pages 252-264
Dynamics of Nonlinear Parabolic Equations with Cosymmetry....Pages 265-274
Weak Integer Quantifier Elimination Beyond the Linear Case....Pages 275-294
Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors....Pages 295-315
Ruppert Matrix as Subresultant Mapping....Pages 316-327
Construction of Computer System for Microobjects Recognition Based on Neural Networks....Pages 328-338
Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra....Pages 339-349
Some Elimination Problems for Matrices....Pages 350-359
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form....Pages 360-369
Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple....Pages 370-376
Bounds for Real Roots and Applications to Orthogonal Polynomials....Pages 377-391
Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n ....Pages 392-401
Robust Stability for Parametric Linear ODEs....Pages 402-422
Symbolic and Algebraic Methods for Linear Partial Differential Operators....Pages 423-423
A New Scheme for Deniable/Repudiable Authentication....Pages 424-432
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks....Pages 433-447
On the Representation of the Differential Operator in Bases of Periodic Coiflets and It’s Application....Pages 448-457
Back Matter....Pages -

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

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

دانلود کتاب Encyclopédire: Formes de l’ambition encyclopédique dans l’Antiquité et au Moyen Âge

دانلود کتاب Fashioning Jews : clothing, culture, and commerce

دانلود کتاب Manipulating SQL Server Using SQL Injection

دانلود کتاب Geomorphology and Physical Oceanography of the Lakshadweep Coral Islands in the Indian Ocean

دانلود کتاب European Water Law and Hydropolitics: An Inquiry into the Resilience of Transboundary Water Governance in the European Union