Santos, Rudhero Monteiro dos, et al. “Modelos Computacionais Para Verificação De Identidades Polinomiais Em Álgebras De Matrizes Com Entradas Na Álgebra De Grassmann”. Trends in Computational and Applied Mathematics, vol. 19, no. 3, Dec. 2018, p. 489, doi:10.5540/tema.2018.019.03.489.