Aplicação da Computação Simbólica na Resolução de Problemas de Condução de Calor em Cilindros Vazados com Condições de Contorno Convectivas Documento