Involutive bases algorithm incorporating F5 criterion الگوريتم پايه تودرتو با استفاده از محك F5 doi # Date : 1392-07 Article type Journal