دانلود کتاب Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings
دسته: کامپیوتر
کتاب جبر رایانه ای در محاسبات علمی: دوازدهمین کارگاه بین المللی، CASC 2010، Tsakhkadzor، ارمنستان، 6-12 سپتامبر 2010. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب جبر رایانه ای در محاسبات علمی: دوازدهمین کارگاه بین المللی، CASC 2010، Tsakhkadzor، ارمنستان، 6-12 سپتامبر 2010. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings
نام کتاب : Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : جبر رایانه ای در محاسبات علمی: دوازدهمین کارگاه بین المللی، CASC 2010، Tsakhkadzor، ارمنستان، 6-12 سپتامبر 2010. مجموعه مقالات
سری : Lecture Notes in Computer Science 6244 : Theoretical Computer Science and General Issues
نویسندگان : Sergey Abrahamyan (auth.), Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 313
ISBN (شابک) : 3642152732 , 9783642152733
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
کارگاه های CASC به طور سنتی به نوبه خود در کشورهای مشترک المنافع (CIS) و خارج از CIS (به ویژه در آلمان، اما، گاهی، همچنین کشورهای دیگر با جوامع CA پر جنب و جوش) برگزار می شود. کارگاه قبلی CASC در ژاپن و دوازدهمین کارگاه برای اولین بار در ارمنستان که یکی از جمهوری های CIS است برگزار شد. لازم به ذکر است که بیش از 35 موسسه و مرکز علمی در آکادمی ملی علوم ارمنستان فعالیت می کنند (جزئیات بیشتر در مورد ساختار آکادمی را می توان در http://www.sci.am مشاهده کرد). این موسسات به ویژه با مشکلاتی در شاخه‌های علوم طبیعی مانند ریاضیات، انفورماتیک، فیزیک، نجوم، بیوشیمی و غیره نگران هستند. با موفقیت در تمام شاخه های ذکر شده در علوم طبیعی اعمال می شود. از این رو، برگزارکنندگان دوازدهمین کارگاه آموزشی CASC امیدوارند که کارگاه حاضر به دانشمندان ارمنی کمک کند تا با قابلیت‌های روش‌ها و سیستم‌های پیشرفته جبر رایانه‌ای بیشتر آشنا شوند و با متخصصان جبر رایانه از کشورهای دیگر در ارتباط باشند. 11 کنفرانس قبلی CASC، CASC 1998، CASC 1999، CASC 2000، CASC 2001، CASC 2002، CASC 2003، CASC 2004، CASC 2005، CASC 2006، CASC 2000، CASC 2009، به ترتیب در St. آر - sia)، مونیخ (آلمان)، سمرقند (ازبکستان)، کنستانز (آلمان)، یالتا (اوکراین)، پاسائو (آلمان)، St.
فهرست مطالب :
Front Matter....Pages -
Construction of Irreducible Polynomials over Finite Fields....Pages 1-3
Factorization of Polynomials and GCD Computations for Finding Universal Denominators....Pages 4-18
A Role of Symbolic Computations in Beam Physics....Pages 19-30
Thomas Decomposition of Algebraic and Differential Systems....Pages 31-54
On Multivariate Homogeneous Polynomial Decomposition....Pages 55-60
Computing Matrix Representations of Filiform Lie Algebras....Pages 61-72
Type Specialization in Aldor....Pages 73-84
An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models....Pages 85-96
On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point....Pages 97-105
Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models....Pages 106-122
On Reduction of Lagrange Systems....Pages 123-133
Series Transformations to Improve and Extend Convergence....Pages 134-147
Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems....Pages 148-161
Generic, Type-Safe and Object Oriented Computer Algebra Software....Pages 162-177
Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden....Pages 178-193
Fast Generalized Bruhat Decomposition....Pages 194-202
Computational Science in Armenia (Invited Talk)....Pages 203-203
From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk)....Pages 204-204
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests....Pages 205-219
Term Cancellations in Computing Floating-Point Gröbner Bases....Pages 220-231
One Class of Third-Order Linear ODE’s....Pages 232-237
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials....Pages 238-249
Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange–Burmann Expansions....Pages 250-266
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)....Pages 267-279
An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete....Pages 280-292
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases....Pages 293-302
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
The CASC Workshops are traditionally held in turn in the Commonwealth of IndependentStates(CIS)andoutsideCIS(Germanyinparticular,but,attimes, also other countries with lively CA communities). The previous CASC Wo- shop was held in Japan, and the 12th workshop was held for the ?rst time in Armenia, which is one of the CIS republics. It should be noted that more than 35 institutes and scienti?c centers function within the National Academy of S- ences of Armenia (further details concerning the structure of the academy can be foundhttp://www. sci. am). These institutions are concerned, in particular, with problems in such branches of natural science as mathematics, informatics, physics, astronomy, biochemistry, etc. It follows from the talks presented at the previous CASC workshops that the methods and systems of computer algebra may be applied successfully in all the above-listed branches of natural sciences. Therefore, the organizers of the 12th CASC Workshop hope that the present workshop will help the Armenian scientists to become even more familiar with the capabilities of advanced computer algebra methods and systems and to get in touch with specialists in computer algebra from other countries. The 11 earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, CASC 2004, CASC 2005, CASC 2006, CASC 2007, and CASC 2009 were held, respectively, in St. Petersburg (R- sia), Munich (Germany), Samarkand (Uzbekistan), Konstanz (Germany), Yalta (Ukraine), Passau (Germany), St.
پست ها تصادفی