در سال های اخیر استفاده از سیستمهای جبر رایانه ای همانند میپل و متمتیکا در آموزش و پژوهش علوم ریاضی و رایانه فراگیر شده است. در این مقاله ما تکنیک اثبات رایانه ای معروف به الگوریتم گاسپر را معرفی میکنیم که نه تنها میتواند برای افزایش کیفیت آموزش مفاهیم ریاضیات گسسته به دانشجویان رشته های علوم ریاضی و رایانه مورد استفاده قرار گیرد بلکه می تواند به عنوان یک ابزار کمکی مورد استفاده پژوهشگران این رشته ها نیز واقع شود. برای درک بهتر این الگوریتم زیبا چندین مثال به همراه اجرای آنها در سیستم جبر رایانه ای میپل و بسته ی نرم افزاری ابزارهای مجموع گیری در پایان مقاله آورده شده است.
تیموری فعال, حسین . (1395). الگوریتم گاسپر برای مجموع گیری. مجموعه مقالات کرسی های علمی دانشگاه علامه طباطبائی, 4(5), 351-362. doi: 10.22054/ijdli.2017.20194
MLA
تیموری فعال, حسین . "الگوریتم گاسپر برای مجموع گیری", مجموعه مقالات کرسی های علمی دانشگاه علامه طباطبائی, 4, 5, 1395, 351-362. doi: 10.22054/ijdli.2017.20194
HARVARD
تیموری فعال, حسین. (1395). 'الگوریتم گاسپر برای مجموع گیری', مجموعه مقالات کرسی های علمی دانشگاه علامه طباطبائی, 4(5), pp. 351-362. doi: 10.22054/ijdli.2017.20194
CHICAGO
حسین تیموری فعال, "الگوریتم گاسپر برای مجموع گیری," مجموعه مقالات کرسی های علمی دانشگاه علامه طباطبائی, 4 5 (1395): 351-362, doi: 10.22054/ijdli.2017.20194
VANCOUVER
تیموری فعال, حسین. الگوریتم گاسپر برای مجموع گیری. مجموعه مقالات کرسی های علمی دانشگاه علامه طباطبائی, 1395; 4(5): 351-362. doi: 10.22054/ijdli.2017.20194
)