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

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

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

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

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

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

در سال 19?? ، اولین الگوریتم برای محاسبه ی پایه گروبنر توسط بوخبرگر معرفی شد.از آنجا که نود درصد از زمان محاسبه ی پایه گروبنر صرف محاسبه ی کاهش به صفر می شود. در سال 2002 ، فوژر توانست الگوریتم جدیدf5 معرفی کند که اگر ورودی الگوریتم دنباله منظم باشدآنگاه الگوریتم f5 بدون هر کاهش به صفری پایه گروبنر رامحاسبه می کند.علاوه بر این فهم و درک الگوریتم f5 کمی مشکل است و بسیاری از سوال های حل نشدنی ر...

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

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

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