پایه گروبنر

در جبر محاسباتی، و هندسه جبری محاسباتی، یک پایه‌گروبنر عبارت است از نوعی خاص از زیرمجموعه مولد برای یک ایده‌آل I در حلقه چندجمله‌ای‌های R.

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

منابع 

 
 
 

هندسه جبری
جبر جابجایی
جبر رایانه‌ای
نظریه ناوردا
سیستم‌های بازنویسی