Neste trabalho, apresentamos a teoria matemática concernente à construção de algoritmos computacionais que permitem a verificação de certos resultados importantes na teoria das álgebras alternativas livres, mais especificamente na demonstração de que não existem identidades de grau menor do que $5$ no núcleo de uma álgebra alternativa livre sobre $\mathbb_,$ criada a partir dos trabalhos de Irwin Roy Hentzel e Luiz Antônio Peresi. Além disso, discutimos o uso de tais algoritmos para verificar se um elemento pertence ao núcleo da álgebra alternativa livre, e também analisar se este é uma identidade ou consequência de outras identidades linearizadas na álgebra alternativa livre.

In this work, we present the mathematical theory concerning the construction of computational procedures that allow us to prove some important results on alternative algebras, highlighting that there are no identities of degree lower than $5$ which are in the nucleus of the free alternative algebra over $\mathbb_,$ established by Irwin Roy Hentzel and Luiz Antônio Peresi. Furthermore, the use of this algorithms to verify if an element are either on the nucleus of the free alternative algebra are discussed, and also analyse if it is a identity or consequence of linearized identities on free alternative algebra.