Santos, R. M. dos; Alves, S. M.; Oliveira, F. B. S. Modelos Computacionais Para Verificação De Identidades Polinomiais Em Álgebras De Matrizes Com Entradas Na Álgebra De Grassmann. Trends Comput. Appl. Math. 2018, 19, 489.