A Computational Maple Library for Skew PBW Extensions. - William Fajardo (Fundam. Informaticae, 2019)

Elementary Matrix-computational Proof of Quillen-Suslin Theorem for Ore Extensions. - William Fajardo; Oswaldo Lezama (Fundam. Informaticae, 2019)

Right Buchberger Algorithm over Bijective Skew PBW Extensions. - William Fajardo (Fundam. Informaticae, 2021)