الگوریتم گاسپر برای مجموع گیری

در سال های اخیر استفاده از سیستمهای جبر رایانه ای همانند میپل و متمتیکا در آموزش و  پژوهش علوم ریاضی و رایانه فراگیر شده است. در این مقاله ما تکنیک اثبات رایانه ای معروف  به الگوریتم گاسپر را معرفی میکنیم که نه تنها میتواند برای افزایش کیفیت آموزش مفاهیم  ریاضیات گسسته به دانشجویان رشته های علوم ریاضی و رایانه مورد استفاده قرار گیرد بلکه می  تواند به عنوان یک ابزار کمکی مورد استفاده پژوهشگران این رشته ها نیز واقع شود. برای درک  بهتر این الگوریتم زیبا چندین مثال به همراه اجرای آنها در سیستم جبر رایانه ای میپل و بسته ی  نرم افزاری ابزارهای مجموع گیری در پایان مقاله آورده شده است.

کلیدواژه ها:

الگوریتم ، گاسپر ، مجموع گیری ، رایانه