AU - harfsheno, hamzeh AU - basiri, abdolali AU - rahmany, sajjad TI - Generalization of Buchberger’s Algorithm with Respect to Several Orderings on Difference Modules PT - JOURNAL ARTICLE TA - khu-mmr JN - khu-mmr VO - 7 VI - 3 IP - 3 4099 - http://mmr.khu.ac.ir/article-1-2951-fa.html 4100 - http://mmr.khu.ac.ir/article-1-2951-fa.pdf SO - khu-mmr 3 AB  - پایه­­ی گربنر نسبت به چند ترتیب برای یک مدول تفاضلی، مهمترین ابزار برای یافتن چندجمله­ای بعد دستگاه­های دیفرانسیلی و تفاضلی است. در این مقاله، الگوریتمی برای محاسبه­ی این پایه­ی گربنر، ارایه شده است. برای این منظور، ابتدا برای هر عضو از یک مدول تفاضلی نوعی نمایش، موسوم به نمایش نسبت به چند ترتیب، معرفی می کنیم. سپس با استفاده از این نمایش، اثباتی برای تعمیم قضیه­ی بوخبرگر در مدول­های تفاضلی متناهی مولد، ارایه می­دهیم. همچنین شرط لازم و کافی برای وجود پایه­ی گربنر نسبت به چند ترتیب را برای یک مدول تفاضلی بیان می­کنیم. در ادامه، الگوریتمی برای محاسبه­ی پایه­ی­ گربنر یک زیر مدول تفاضلی متناهی مولد نسبت به چند ترتیب، ارایه می­شود. p { margin-bottom: 0.1in; direction: ltr; line-height: 115%; text-align: left; }a:link { color: rgb(0, 0, 255); } p { margin-bottom: 0.1in; direction: ltr; color: rgb(0, 0, 0); line-height: 115%; text-align: left; background: transparent none repeat scroll 0% 0%; }p.western { font-family: "Calibri", serif; font-size: 11pt; }p.cjk { font-family: "Calibri"; font-size: 11pt; }p.ctl { font-family: "Arial"; font-size: 11pt; }a:link { color: rgb(0, 0, 255); text-decoration: underline; } CP - IRAN IN - School of Mathematics and Computer Science, Damghan University, Damghan, Iran. LG - eng PB - khu-mmr PG - 513 PT - Research Paper YR - 2021