مشخصات کتاب

Automated Inequality Proving and Discovering

ویرایش:  
نویسندگان: Bican Xia. Lu Yang  
سری:  
ISBN (شابک) : 9789814759113 
ناشر: World Scientific 
سال نشر: 2016 
تعداد صفحات: 337 
زبان: english 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

در صورت تبدیل فایل کتاب Automated Inequality Proving and Discovering به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اثبات و کشف نابرابری خودکار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب اثبات و کشف نابرابری خودکار

این اولین کتابی است که بر الگوریتم های عملی برای اثبات و کشف نابرابری چند جمله ای تمرکز دارد. خلاصه‌ای از کار نویسندگان و همکارانشان در مورد اثبات و کشف خودکار نابرابری در سال‌های اخیر است. علاوه بر معرفی مختصر برخی از نتایج کلاسیک و کارهای مرتبط در فصول مربوطه، این کتاب عمدتاً بر روی الگوریتم‌های آغاز شده توسط نویسندگان و همکاران آنها تمرکز دارد، مانند شمارش ریشه واقعی، طبقه‌بندی ریشه واقعی، پیش‌بینی بهبود یافته CAD، الگوریتم کاهش ابعاد، جایگزینی تفاوت. ، و غیره. همه الگوریتم‌ها با دقت ثابت شدند و پیاده‌سازی‌ها با مثال‌های زیادی در زمینه‌های مختلف مانند جبر، هندسه، علوم زیست‌شناسی و علوم کامپیوتر نشان داده شده‌اند.

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

This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years. Besides brief introduction to some classical results and related work in corresponding chapters, the book mainly focuses on the algorithms initiated by the authors and their collaborators, such as real root counting, real root classification, improved CAD projection, dimension-decreasing algorithm, difference substitution, and so on. All the algorithms were rigorously proved and the implementations are demonstrated by lots of examples in various backgrounds such as algebra, geometry, biological science, and computer science.

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

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

دانلود کتاب Beyond the Multiplex: Cinema, New Technologies, and the Home

دانلود کتاب The Night Trilogy: Night/Dawn/Day

دانلود کتاب Silicon anodization as a structuring technique : literature review, modeling and experiments

دانلود کتاب Multiple Criteria Decision Making: Applications in Management and Engineering

دانلود کتاب Arne Beurling und Hitlers Geheimschreiber: Schwedische Entzifferungserfolge im 2. Weltkrieg German