1. Bernauer, K.: Algebraic and automated proofs for Moore-Penrose inverses. Bachelor’s thesis, Johannes Kepler University Linz, Austria (2021)
2. Borges, M.A., Borges, M.: Groebner bases property on elimination ideal in the noncommutative case. London Math. Soc. Leture Note Ser. 1(251), 323–327 (1998)
3. Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph.D. thesis, University of Innsbruck, Austria (1965)
4. Lecture Notes in Computer Science;SR Buss,1995
5. Cvetković-Ilić, D.S., Hofstadler, C., Hossein Poor, J., Milošević, J., Raab, C.G., Regensburger, G.: Algebraic proof methods for identities of matrices and operators: improvements of Hartwig’s triple reverse order law. Appl. Math. Comput. 409, 126357 (2021)