مشخصات کتاب

Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

ویرایش: 1 
نویسندگان: S. A. Abramov,  M. Bronstein,  D. E. Khmelnov (auth.),  Victor G. Ganzha,  Ernst W. Mayr,  Evgenii V. Vorozhtsov (eds.)  
سری: Lecture Notes in Computer Science 3718 
ISBN (شابک) : 9783540289661, 9783540320708 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 512 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت 

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

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

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

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



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

41 مقاله کامل اصلاح‌شده ارائه‌شده به دقت بررسی شدند و از بین 75 ارسال انتخاب شده است. موضوعات مطرح شده در این کارگاه تمامی زمینه های اساسی محاسبات علمی را پوشش می دهد زیرا از کاربرد روش ها و نرم افزارهای جبر رایانه ای بهره می برند: روش های جبری برای معادلات و نامساوی های چند جمله ای غیرخطی، روش های نمادین-عددی برای معادلات دیفرانسیل و دیفرانسیل-جبری، الگوریتمی و ملاحظات پیچیدگی در جبر کامپیوتری، روش های جبری در مدل سازی هندسی، جنبه های زبان های برنامه نویسی جبر کامپیوتری، استدلال خودکار در جبر و هندسه، پیچیدگی مسائل جبری، محاسبات دقیق و تقریبی، محاسبات نمادین- عددی موازی، مسئله محاسبات نمادین و عددی قابل دسترسی به اینترنت، -حل محیط، محاسبات نمادین و عددی در مهندسی و مدل سازی سیستم ها، جبر کامپیوتری در صنعت، حل مسائل در علوم طبیعی، شبیه سازی عددی با استفاده از سیستم های جبر کامپیوتری، ارتباطات ریاضی.

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

This book constitutes the refereed proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC 2005, held in Kalamata, Greece in September 2005.

The 41 revised full papers presented were carefully reviewed and selected from 75 submissions. The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software: algebraic methods for nonlinear polynomial equations and inequalities, symbolic-numeric methods for differential and differential-algebraic equations, algorithmic and complexity considerations in computer algebra, algebraic methods in geometric modelling, aspects of computer algebra programming languages, automatic reasoning in algebra and geometry, complexity of algebraic problems, exact and approximate computation, parallel symbolic-numeric computation, Internet accessible symbolic and numeric computation, problem-solving environments, symbolic and numerical computation in systems engineering and modelling, computer algebra in industry, solving problems in the natural sciences, numerical simulation using computer algebra systems, mathematical communication.

فهرست مطالب

Front Matter....Pages -
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems....Pages 1-12
Computing the Betti Numbers of Arrangements in Practice....Pages 13-31
A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method....Pages 32-39
 RelView – An OBDD-Based Computer Algebra System for Relations....Pages 40-51
On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups....Pages 52-64
Normal Forms and Integrability of ODE Systems....Pages 65-74
Resultant-Based Methods for Plane Curves Intersection Problems....Pages 75-92
Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion....Pages 93-104
Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time....Pages 105-114
Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots....Pages 115-124
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials....Pages 125-137
A Descartes Algorithm for Polynomials with Bit-Stream Coefficients....Pages 138-149
Real Solving of Bivariate Polynomial Systems....Pages 150-161
 Nouvelle Cuisine for the Computation of the Annihilating Ideal of f s ....Pages 162-173
Janet-Like Monomial Division....Pages 174-183
Janet-Like Gröbner Bases....Pages 184-195
Circulant Digraphs and Monomial Ideals....Pages 196-207
Algebraic Topological Analysis of Time-Sequence of Digital Images....Pages 208-219
Hilbert Stratification and Parametric Gröbner Bases....Pages 220-235
Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem....Pages 236-243
Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrödinger Equation by Split-Operator Method....Pages 244-258
On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid....Pages 259-271
On Compatibility of Discrete Relations....Pages 272-284
Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems....Pages 285-293
Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices....Pages 294-305
Fast Verification for Respective Eigenvalues of Symmetric Matrix....Pages 306-317
Towards More Accurate Separation Bounds of Empirical Polynomials II....Pages 318-329
Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library....Pages 330-343
 Meta-Petro : An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies....Pages 344-354
The Diamond Operator – Implementation of Exact Real Algebraic Numbers....Pages 355-366
Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System....Pages 367-378
Nonlinear Waves in a Rod....Pages 379-386
A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods....Pages 387-398
Differential and Difference Equations for Products of Classical Orthogonal Polynomials....Pages 399-404
Algorithm of Local Resolution of Singularities of a Space Curve....Pages 405-415
Quantifier Elimination for Constraint Logic Programming....Pages 416-430
Computation of Full Comprehensive Gröbner Bases....Pages 431-444
Recursive Polynomial Remainder Sequence and the Nested Subresultants....Pages 445-456
Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems....Pages 457-468
Solving Linear Differential Problems with Parameters....Pages 469-488
Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate....Pages 489-500
Back Matter....Pages -

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

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

دانلود کتاب The cost of combined transport. Report of the 64th Round table on transport economics, Paris, 12th-13th January 1984

دانلود کتاب Klausurtraining Statik: 100 Aufgaben für das Grundfach- und Vertiefungsstudium

دانلود کتاب Learn Java for Android Development 2 edition

دانلود کتاب Agents and Their Actions

دانلود کتاب The Ethnic German Refugee in Austria 1945 to 1954