دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: V. Álvarez, J. A. Armario, M. D. Frau, P. Real (auth.), Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) سری: Lecture Notes in Computer Science 4194 ISBN (شابک) : 9783540451822, 9783540451952 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 322 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
کلمات کلیدی مربوط به کتاب جبر رایانه ای در محاسبات علمی: نهمین کارگاه بین المللی، CASC 2006، کیشیناو، مولداوی، 11-15 سپتامبر، 2006. مجموعه مقالات: دستکاری نمادین و جبری، تکنیک های برنامه نویسی، ریاضیات گسسته در علوم کامپیوتر، تحلیل الگوریتم و پیچیدگی مسائل، کاربردهای ریاضی در علوم کامپیوتر، الگوریتم ها
در صورت تبدیل فایل کتاب Computer Algebra in Scientific Computing: 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جبر رایانه ای در محاسبات علمی: نهمین کارگاه بین المللی، CASC 2006، کیشیناو، مولداوی، 11-15 سپتامبر، 2006. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد شامل نسخه های اصلاح شده مقالاتی است که توسط شرکت کنندگان به کارگاه ارسال شده و پس از یک فرآیند بررسی کامل توسط کمیته برنامه پذیرفته شده است. مجموعه مقالات گنجانده شده در دادرسی نه تنها کاربردهای مختلف جبر کامپیوتری در محاسبات علمی را در بر می گیرد، بلکه خود سیستم های جبر کامپیوتری و الگوریتم های CA را نیز در بر می گیرد. هشت کنفرانس قبلی CASC، CASC 1998، CASC 1999، CASC 2000، CASC 2001، CASC 2002، CASC 2003، CASC 2004، و CASC 2005، به ترتیب در روسیه، آلمان، مونیخ و در سن پترزبورگ برگزار شد. ازبکستان در کنستانز آلمان، کریمه اوکراین، پاساو آلمان، سن پترزبورگ روسیه و کالاماتا یونان موفق بودند. این E. A. Grebenikow (مرکز محاسبات آکادمی علوم روسیه، مسکو) بود که توجه ما را به گروهی از ریاضیدانان و دانشمندان رایانه در آکادمی علوم مولداوی که در زمینه جبر رایانه ای تحقیق می کردند، جلب کرد. ما متاثر شدیم که این گروه نه تنها به کاربرد روشهای CA در مسائل محاسباتی علمی میپردازد، بلکه در مورد اصول بنیادی زیربنای سیستمهای جبر رایانهای فعلی تحقیق میکند، همچنین به مقالات آنها در دادرسی حاضر v مراجعه کنید. - اوه بنابراین تصمیم گرفته شد تا نهمین کارگاه آموزشی جبر کامپیوتری در محاسبات علمی، CASC 2006، در Chi¸ sin? au، پایتخت مولداوی.
This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers not only various expanding applications of computer algebra to scienti?c computing but also the computer algebra systems themselves and the CA algorithms. The eight earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, CASC 2004, and CASC 2005 were held, - spectively, in St. Petersburg, Russia, in Munich, Germany, in Samarkand, Uzb- istan, in Konstanz, Germany, in Crimea, Ukraine, in Passau, Germany, in St. Petersburg, Russia, and in Kalamata, Greece, and they proved to be successful. It was E. A. Grebenikow (Computing Center of the Russian Academy of S- ences, Moscow) who drew our attention to the group of mathematicians and c- puter scientists at the Academy of Sciences of Moldova conducting research in the ?eld of computer algebra. We were impressed that this group not only is concerned with applications of CA methods to problems of scienti?c computing but also c- ries out research on the fundamental principles underlying the current computer algebra systems themselves, see also their papers in the present proceedings v- ume. It was therefore decided to organize the 9th workshop on Computer Algebra in Scienti?c Computing, CASC 2006, in Chi¸ sin? au, the capital of Moldova.
Front Matter....Pages -
Comparison Maps for Relatively Free Resolutions....Pages 1-22
A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation....Pages 23-32
Reducing Computational Costs in the Basic Perturbation Lemma....Pages 33-48
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView ....Pages 49-63
Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study....Pages 64-76
Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem....Pages 77-88
Efficient Preprocessing Methods for Quantifier Elimination....Pages 89-100
Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals....Pages 101-108
On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions....Pages 109-128
Providing Modern Software Environments to Computer Algebra Systems....Pages 129-140
The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem....Pages 141-148
Algorithmic Invariants for Alexander Modules....Pages 149-154
Sudokus and Gröbner Bases: Not Only a Divertimento ....Pages 155-165
Simplicial Perturbation Techniques and Effective Homology....Pages 166-177
Numerical Study of Stability Domains of Hamiltonian Equation Solutions....Pages 178-191
Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem....Pages 192-204
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field....Pages 205-218
On Decomposition of Tame Polynomials and Rational Functions....Pages 219-226
Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases....Pages 227-239
Cellular Automata with Symmetric Local Rules....Pages 240-250
Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations....Pages 251-260
On Connection Between Constructive Involutive Divisions and Monomial Orderings....Pages 261-278
A Symbolic-Numeric Approach to Tube Modeling in CAD Systems....Pages 279-283
Inequalities on Upper Bounds for Real Polynomial Roots....Pages 284-294
New Domains for Applied Quantifier Elimination....Pages 295-301
Algorithms for Symbolic Polynomials....Pages 302-302
Testing Mersenne Primes with Elliptic Curves....Pages 303-312
Back Matter....Pages -