Análise de Esforços em Lajes de Edifícios Retangulares e Maciças de Concreto Armado pela Teoria das Linhas de Ruptura Utilizando Computação Algébrica e Simbólica