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