دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: S. A. Abramov, M. A. Barkatou (auth.), Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) سری: Lecture Notes in Computer Science 8136 ISBN (شابک) : 9783319022963, 9783319022970 ناشر: Springer International Publishing سال نشر: 2013 تعداد صفحات: 457 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب جبر کامپیوتر در محاسبات علمی: 15 کارگاه بین المللی، CASC 2013، برلین، آلمان، 9-13 سپتامبر 2013. مقالات: تحلیل الگوریتم و پیچیدگی مسئله، ریاضیات گسسته در علوم کامپیوتر، دستکاری نمادین و جبری، گرافیک کامپیوتری، محاسبات عددی، ساختارهای حسابی و منطقی
در صورت تبدیل فایل کتاب Computer Algebra in Scientific Computing: 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جبر کامپیوتر در محاسبات علمی: 15 کارگاه بین المللی، CASC 2013، برلین، آلمان، 9-13 سپتامبر 2013. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات چهاردهمین کارگاه بین المللی جبر رایانه ای در محاسبات علمی، CASC 2013، برگزار شده در برلین، آلمان، در سپتامبر 2013 است. 33 مقاله کامل ارائه شده به دقت بررسی و برای گنجاندن در این مقاله انتخاب شدند. کتاب.
این مقالات به موضوعاتی مانند جبر چند جمله ای می پردازند. حل سیستم های خطی گرمسیری و سیستم های چند جمله ای گرمسیری. نظریه ماتریس ها؛ استفاده از جبر کامپیوتری برای بررسی موضوعات مختلف ریاضی و کاربردی مرتبط با معادلات دیفرانسیل معمولی (ODEs). کاربرد محاسبات نمادین برای حل معادلات دیفرانسیل جزئی (PDEs) در فیزیک ریاضی. مشکلات ناشی از کاربرد روش های جبر رایانه ای برای یافتن تقارن های بی نهایت کوچک. کاربردهای الگوریتم های نمادین و نمادین-عددی در مکانیک و فیزیک؛ تمایز خودکار؛ کاربرد CAS Mathematica برای شبیه سازی تصحیح خطای کوانتومی در محاسبات کوانتومی. استفاده از CAS GAP برای شمارش حلقه های Schur بر روی گروه A5. محاسبه سازنده مرزهای جداسازی صفر برای عبارات حسابی. اجرای موازی تبدیل فوریه سریع با کمک سیستم تولید کتابخانه مارپیچی. استفاده از زبان های شی گرا مانند جاوا یا اسکالا برای پیاده سازی دسته ها به عنوان کلاس های نوع. بررسی کاربردهای صنعتی جبر رایانه ای تقریبی.
This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2013, held in Berlin, Germany, in September 2013. The 33 full papers presented were carefully reviewed and selected for inclusion in this book.
The papers address issues such as polynomial algebra; the solution of tropical linear systems and tropical polynomial systems; the theory of matrices; the use of computer algebra for the investigation of various mathematical and applied topics related to ordinary differential equations (ODEs); applications of symbolic computations for solving partial differential equations (PDEs) in mathematical physics; problems arising at the application of computer algebra methods for finding infinitesimal symmetries; applications of symbolic and symbolic-numeric algorithms in mechanics and physics; automatic differentiation; the application of the CAS Mathematica for the simulation of quantum error correction in quantum computing; the application of the CAS GAP for the enumeration of Schur rings over the group A5; constructive computation of zero separation bounds for arithmetic expressions; the parallel implementation of fast Fourier transforms with the aid of the Spiral library generation system; the use of object-oriented languages such as Java or Scala for implementation of categories as type classes; a survey of industrial applications of approximate computer algebra.
Front Matter....Pages -
On the Dimension of Solution Spaces of Full Rank Linear Differential Systems....Pages 1-9
Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n -roots Problem....Pages 10-29
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One....Pages 30-45
On Consistency of Finite Difference Approximations to the Navier-Stokes Equations....Pages 46-60
Faster Sparse Interpolation of Straight-Line Programs....Pages 61-74
On Possibility of Additional Solutions of the Degenerate System Near Double Degeneration at the Special Value of the Parameter....Pages 75-87
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates....Pages 88-99
Highly Scalable Multiplication for Distributed Sparse Multivariate Polynomials on Many-Core Systems....Pages 100-115
Simulation of Quantum Error Correction with Mathematica ....Pages 116-129
From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk)....Pages 130-135
Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small Degrees....Pages 136-139
Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations....Pages 140-147
Complexity in Tropical Algebra (Invited Talk)....Pages 148-154
Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Identical Particles with Pair Oscillator Interactions....Pages 155-168
Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics....Pages 169-178
On Stationary Sets of Euler’s Equations on so (3,1) and Their Stability....Pages 179-193
An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification....Pages 194-208
Categories as Type Classes in the Scala Algebra System....Pages 209-218
Enumeration of Schur Rings over the Group A 5 ....Pages 219-230
Generalized Bruhat Decomposition in Commutative Domains....Pages 231-242
Automatic Parallel Library Generation for General-Size Modular FFT Algorithms....Pages 243-256
Extended QRGCD Algorithm....Pages 257-272
Polynomial Evaluation and Interpolation and Transformations of Matrix Structures....Pages 273-287
A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry....Pages 288-300
A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations....Pages 301-314
Towards Industrial Application of Approximate Computer Algebra....Pages 315-330
A Note on Sekigawa’s Zero Separation Bound....Pages 331-339
Applications of Symbolic Calculations and Polynomial Invariants to the Classification of Singularities of Differential Systems....Pages 340-354
Singularities of Implicit Differential Equations and Static Bifurcations....Pages 355-368
A Quantum Measurements Model of Hydrogen-Like Atoms in Maple....Pages 369-380
CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of 3D Navier–Stokes Equations....Pages 381-392
Construction of Classes of Irreducible Bivariate Polynomials....Pages 393-400
Algebraic Attacks Using IP-Solvers....Pages 401-411
Stationary Points for the Family of Fermat–Torricelli–Coulomb-Like Potential Functions....Pages 412-426
Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Tunneling of Clusters through Repulsive Barriers....Pages 427-442
Back Matter....Pages -