رقیه قره مشگ غراوی - دانشجوی کارشناسی ارشد رشته ریاضی محض
عبدالعلی بصیری - استادیار ریاضی محض دانشگاه دامغان

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

پایه گروبنر، برنامه ریزی عدد صحیح، الگوریتم کانتی و تراورسو