Detecting Superfluous Reductions in Computing Involutive Bases تشخيص كاهش هاي اضافي در محاسبه ي پايه هاي تودرتو چهل و هفتمين كنفرانس رياضي ايران 47 Annual Iranian Mathematics Conference doi 2016-08 Article type Conference