پایه ی گروبنر یکی از ابزارهای محاسباتی برای مطالعه ی ایده آل های چندجمله ای است که توسط بوخبرگر در سال 1965 معرفی شد. کاربردهای فراوان پایه ی گروبنر در ریاضیات و صنعت، محققان را بر آن داشته تا به دنبال طراحی الگوریتم کارا و سریعی برای محاسبه ی آن باشند. در سال 2002، فوژر با طراحی و ارائه ی الگوریتم f_5 سریع ترین الگوریتم محاسبه ی پایه ی گروبنر را معرفی کرد. این الگوریتم از دو محک محاسباتی قوی ب...

الگوریتم f5‎ فوژر یکی از مشهورترین الگوریتم های شناخته شده برای محاسبه ی پایه ی گروبنر است. تاکنون فقط محک ‎ f5 ‎از آن ثابت شده است. در این پایان نامه دومین محک موثر، یعنی محک بازنویسی مورد بررسی قرار گرفته و اثباتی از آن ارائه خواهد شد. همچنین ارتباط محک های اول و دوم با مدولهای متقارن ساز نشان داده می شود. درپایان با استفاده از مثال های بیان شده توسط فوژر برای محاسبه ی پایه گروبنر، نحوه عملکر...

هدف از ارائه این ‏پایان نامه‎‎‎‎‎‎‎ محاسبه مجموعه مولد هسته مشتق مرتبه بالا از یک‎‎‎‎-r‎‎جبر و سپس ارائه الگوریتمی برای محاسبه این مجموعه مولد است که در محاسبه مجموعه مولد هسته مشتق مرتبه بالا از پایه گروبنر بر روی دامنه ایده آل اصلی ‎‏‎‎ ‎(pid)‎‎‎استفاده شده است. بدین منظور ابتدا پایه گروبنر بر روی دامنه ایده آل اصلی و الگوریتم مربوط به آن بیان شده و پس ازآن الگوریتم محاسبه مجموعه مولد هسته مش...

الگوریتم lll، الگوریتمی برای تغییر ترتیب پایه گروبنر در حالت دو متغیره می باشد. در این پایان نامه این الگوریتم بیان و درستی آن بررسی می شود. سپس این الگوریتم برای چندجمله ای های nمتغیره، تعمیم داده می شود.

در حلت کلی پیداکردن جواب بهینه ی یک مسئله ی برنامه ریزی غیرخطی به جز در مواردی که مسئله کوچک می باشد، کاری دشوار است. در این پایان نامه بر روی دسته ای از مسائل برنامه ریزی غیرخطی بنام مسائل برنامه ریزی چندجمله ای ها تمرکز می کنیم و سعی می کنیم با استفاده از روش های جبری، راه حلی برای آن ها معرفی کنیم. ابتدا برخی از روش های متداول برای حل مسائل برنامه ریزی غیرخطی را بیان و نفاط ضعف آن ها را مشخص...

در این پایان نامه، الگوریتمی برای حل مسائل برنامه ریزی صحیح مطرح می نماییم. هم چنین یک روش که مسئله بهینه سازی چندجمله ایی (مسائل چندهدفه) را به یک یا چندین دستگاه از معادلات چندجمله ایی تبدیل نموده و با استفاده از یک پایه گروبنرمشخص مسئله را حل می کند، ارائه می دهیم. این تبدیل های متفاوت روش های متفاوتی نیز به دست می دهد که به طور کلی توضیح خواهیم داد و در نهایت با برخی از مسائل آزمونی نتایج ح...

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

در این پایان نامه سعی می کنیم تا تعامل مفیدی بین طرح آزمایش (doe) از یک سو و جبر جابجایی، هندسه جبری و جبر محاسباتی از سوی دیگر شرح دهیم. doe یک شاخه از آمار و روشی برای ‏طراحی و دریافت اطلاعات از آزمایشات است. این موضوع می تواند اطلاعات را به دست آورده و آن را برای بررسی هدف مورد نظر به کار گیرد. به عنوان نمونه می توان به آشکار کردن شکست ها در یک دستگاه پیچیده یا یافتن ترکیب صحیح مواد موجود در...

در این پایان نامه مبانی جبری-هندسی چهار الگوریتم که برای تجزیه اولیه ایدآل ها در حلقه چند جمله ای ها با ضرایب در یک میدان که ابداع شده است را مورد بررسی قرار می دهیم. اولین الگوریتم ، الگوریتم ویت-وو است که اساس آن استفاده از مجموعه های مشخصه است و ورودی آن یک ایده آل رادیکال و خروجی آن ایده آل های اول وابسته آن است.

محاسبه پایه های گروبنر ‏با کمک الگوریتم بوخبرگر هنگامی که ضرایب اعداد گویا باشند، رشد ضرایب متغیرها یک مشکل شناخته شده است. یکی از روش های پیشنهادی برای حل این مشکل استفاده از روش های پی-ادیک و پیمانه ای است که برای محدود کردن رشد ضرایب متغیرها به کار می رود. به ویژه این روش ها در الگوریتم اقلیدسی برای محاسبه بزرگترین مقسوم علیه مشترک چندجمله ای های یک متغیره مفید هستند. در این پایان نامه به مع...