نام کتاب: Algorithmic And Symbolic Combinatorics – An Invitation To Analytic Combinatorics In Several Variables
نویسنده: Stephen Melczer
ویرایش: ۱
سال انتشار: ۲۰۲۱
کد ISBN کتاب: ۳۰۳۰۶۷۰۷۹۱, ۹۷۸۳۰۳۰۶۷۰۷۹۵,
فرمت: PDF
تعداد صفحه: ۳۰۰
حجم کتاب: ۶ مگابایت
کیفیت کتاب: OCR
انتشارات: Springer
Description About Book Algorithmic And Symbolic Combinatorics – An Invitation To Analytic Combinatorics In Several Variables From Amazon
This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics. A focus on effective algorithms leads to the development of computer algebra software of use to researchers in these domains. After a survey of current results and open problems on decidability in enumerative combinatorics, the text shows how the cutting edge of this research is the new domain of Analytic Combinatorics in Several Variables (ACSV). The remaining chapters of the text alternate between a pedagogical development of the theory, applications (including the resolution by this author of conjectures in lattice path enumeration which resisted several other approaches), and the development of algorithms. The final chapters in the text show, through examples and general theory, how results from stratified Morse theory can help refine some of these computability questions. Complementing the written presentation are over 50 worksheets for the SageMath and Maple computer algebra systems working through examples in the text.
درباره کتاب Algorithmic And Symbolic Combinatorics – An Invitation To Analytic Combinatorics In Several Variables ترجمه شده از گوگل
این کتاب از ابزارهای جدید ریاضی برای بررسی محاسبات گسترده و سوالات پیچیدگی در ترکیب ترکیبی ، با کاربردهای دیگر در زمینه های ریاضیات ، علوم نظری کامپیوتر و فیزیک استفاده می کند. تمرکز بر الگوریتم های م toثر منجر به توسعه نرم افزار جبری رایانه ای می شود که برای محققان در این حوزه ها مورد استفاده قرار می گیرد. پس از بررسی نتایج فعلی و مشکلات باز در قابلیت تصمیم گیری در ترکیبات شمارش ، متن نشان می دهد که چگونه برش این تحقیق حوزه جدید ترکیبات تحلیلی در چند متغیر (ACSV) است. فصل های باقی مانده از متن بین پیشرفت آموزشی نظریه ، برنامه های کاربردی (از جمله حل این حدس و گمان توسط نویسندهدر مورد شمارش مسیر شبکه که در برابر چندین رویکرد دیگر مقاومت کرد) و توسعه الگوریتم ها متناوب است. فصلهای پایانی متن ، از طریق مثالها و نظریه عمومی نشان می دهد که چگونه نتایج حاصل از نظریه طبقه بندی شده مورس می تواند به تصحیح برخی از این سوالات محاسباتی کمک کند. مکمل ارائه کتبی بیش از ۵۰ کاربرگ برای سیستم های جبری رایانه ای SageMath و Maple است که از طریق مثال هایی در متن کار می کند.
[box type=”info”]
جهت دسترسی به توضیحات این کتاب در Amazon اینجا کلیک کنید.
در صورت خراب بودن لینک کتاب، در قسمت نظرات همین مطلب گزارش دهید.
با خرید اشتراک، بدون محدودیت، کتاب دانلود کن!
