A Variant of Gerdt's Algorithm for Computing Involutive Bases - Vladimir P. Gerdt; Amir Hashemi; Benyamin M.-Alizadeh (CoRR, 2011)

Applying IsRewritten criterion on Buchberger algorithm. - Amir Hashemi; Benyamin M.-Alizadeh (Theor. Comput. Sci., 2011)

Involutive Bases Algorithm Incorporating F5 Criterion. - Vladimir P. Gerdt; Amir Hashemi; Benyamin M.-Alizadeh (CoRR, 2013)

Involutive bases algorithm incorporating F5 criterion. - Vladimir P. Gerdt; Amir Hashemi; Benyamin M.-Alizadeh (J. Symb. Comput., 2013)

An Elimination Method to Solve Interval Polynomial Systems. - Sajjad Rahmany; Abdolali Basiri; Benyamin M.-Alizadeh (CoRR, 2015)

Computing Comprehensive Gröbner Systems: A Comparison of Two Methods. - Amir Hashemi; Benyamin M.-Alizadeh; Mahdi Dehghani Darmian (Comput. Sci. J. Moldova, 2017)

Deterministic normal position transformation and its applications. - Benyamin M.-Alizadeh; Amir Hashemi (Theor. Comput. Sci., 2020)