Simulação em tempo real de sistemas de distribuição de energia elétrica, utilizand...
Teoremas de baixa energia, equações de espalhamento e loops quânticos em AdS2
Teoria Qualitativa das Equações Diferenciais Ordinárias e simulações computacionai...
Estudo teórico e computacional das equações diferenciais ordinárias com o software...
Teoria qualitativa e aplicações das equações diferenciais ordinárias com o softwar...
Aspectos locais e globais da teoria qualitativa das equações diferenciais ordinárias
Genericidade no contexto da demonstração de teoremas: um assistente de prova basea...