Leram - Ferramentas de Álgebra Computacional. Aplicações em Modelagem, Simulação e Controle Para Engenharia