Algoritmos para reconhecimento de 3-variedades utilizam-se do conceito de superfície normal, sendo assim, pode-se então tratar problemas de teoria de 3-variedades como sendo de programação linear. Como exemplos tem-se o Algoritmo de reconhecimento da 3-esfera triangulável de Rubinstein-Thompson que é implementado na suíte de software Regina, como a decomposição soma conexa de 3-variedades. A completa classificação de 3-variedades pode ser realizada por meio de algoritmos, possuindo assim relevância para o Programa de Geometrização de Thurston para obtenção de resultados inicialmente utilizando topologia computacional. O objetivo do presente trabalho é discorrer sobre uma aplicação do software Regina. Obteve-se durante a elaboração do presente trabalho, o resultado entre a comparação da 3-esfera homológica de Poincaré com a 3-esfera, parte importante para o entendimento da Conjectura de Poincaré e do Programa de Geometrização.Universidade Estadual Paulista Júlio de Mesquita Filho, Departamento de Ciência da Computação e Estatística, Instituto de Biociências Letras e Ciências Exatas de São José do Rio Preto, São José do Rio Preto, Rua Cristovão Colombo 2265, Jardim Nazaré, CEP 15054000, SP, BrasilUniversidade Estadual Paulista Júlio de Mesquita Filho, Departamento de Ciência da Computação e Estatística, Instituto de Biociências Letras e Ciências Exatas de São José do Rio Preto, São José do Rio Preto, Rua Cristovão Colombo 2265, Jardim Nazaré, CEP 15054000, SP, Brasil