دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Quantifier Elimination and Cylindrical Algebraic Decomposition
دانلود کتاب حذف کمیت و تجزیه جبری استوانه ای
مشخصات کتاب
Quantifier Elimination and Cylindrical Algebraic Decomposition
ویرایش: 1 نویسندگان: Dr. Bob F. Caviness, Dr. Jeremy R. Johnson (auth.), Dr. Bob F. Caviness, Dr. Jeremy R. Johnson (eds.) سری: Texts and Monographs in Symbolic Computation ISBN (شابک) : 9783211827949, 9783709194591 ناشر: Springer-Verlag Wien سال نشر: 1998 تعداد صفحات: 450 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 22 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب حذف کمیت و تجزیه جبری استوانه ای: دستکاری نمادین و جبری، کاربردهای ریاضی در علوم کامپیوتر، منطق ریاضی و زبان های رسمی، منطق ریاضی و مبانی، هندسه جبری، الگوریتم ها
در صورت تبدیل فایل کتاب Quantifier Elimination and Cylindrical Algebraic Decomposition به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب حذف کمیت و تجزیه جبری استوانه ای نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب حذف کمیت و تجزیه جبری استوانه ای
کشف جورج کالینز از تجزیه جبری استوانه‌ای (CAD) به عنوان روشی برای حذف کمیت (QE) برای نظریه ابتدایی میدان‌های بسته واقعی، پیشرفت بزرگی در خودکارسازی ریاضیات با کاربردهای مهم اخیر در زمینه‌های با تکنولوژی بالا (مانند ربات) ایجاد کرد. حرکت)، همچنین تحقیقات بنیادی در جبر رایانه ای را در سه دهه گذشته تحریک کرده است. این جلد مجموعه ای پیشرفته از مقالات مهم در مورد CAD و QE و در حوزه مرتبط با جنبه های الگوریتمی هندسه واقعی است. این شامل مقالاتی از سمپوزیومی است که در سال 1993 در لینز برگزار شد، بازچاپ مقالات اساسی از این منطقه از جمله مقاله برجسته تارسکی و همچنین بررسی تحولات QE مبتنی بر CAD که در بیست سال گذشته رخ داده است.
توضیحاتی درمورد کتاب به خارجی
George Collins’ discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades. This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarski’s landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.
فهرست مطالب
Front Matter....Pages i-xix
Introduction....Pages 1-7
Quantifier Elimination by Cylindrical Algebraic Decomposition — Twenty Years of Progress....Pages 8-23
A Decision Method for Elementary Algebra and Geometry....Pages 24-84
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition....Pages 85-121
Super-Exponential Complexity of Presburger Arithmetic....Pages 122-135
Cylindrical Algebraic Decomposition I: The Basic Algorithm....Pages 136-151
Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane....Pages 152-165
An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition....Pages 166-173
Partial Cylindrical Algebraic Decomposition for Quantifier Elimination....Pages 174-200
Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination....Pages 201-219
Recent Progress on the Complexity of the Decision Problem for the Reals....Pages 220-241
An Improved Projection Operation for Cylindrical Algebraic Decomposition....Pages 242-268
Algorithms for Polynomial Real Root Isolation....Pages 269-299
Sturm—Habicht Sequences, Determinants and Real Roots of Univariate Polynomials....Pages 300-316
Characterizations of the Macaulay Matrix and Their Algorithmic Impact....Pages 317-326
Computation of Variant Resultants....Pages 327-340
A New Algorithm to Find a Point in Every Cell Defined by a Family of Polynomials....Pages 341-350
Local Theories and Cylindrical Decomposition....Pages 351-364
A Combinatorial Algorithm Solving Some Quantifier Elimination Problems....Pages 365-375
A New Approach to Quantifier Elimination for Real Algebra....Pages 376-392
Back Matter....Pages 393-431
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Managing Obesity in the Workplace: Turning Tyrants into Tools in Health Practice, Book 3
دانلود کتاب Steuerfall und Lösung: Steuerklausuren und Seminarfälle mit Lösungsvorschlägen
دانلود کتاب Cunoasterea lumii exterioare
دانلود کتاب Уніфікований клінічний протокол первинної, екстреної та вторинної (спеціалізованої) медичної допомоги
