Rigorous computations for nonlinear partial differential equations. (fapesp-caldo)
Estudo de equações diferenciais parciais algébricas com dominância hiperbólica-par...
Algoritmo Marching Hypercubes Paralelo com Aplicações a Provas Rigorosas
Modelando as Oscilações Quasi-Periódicas e seus respectivos Time Lags in Sistemas ...
Desenvolvimentos computacionais e teóricos baseados em métodos ab initio e na Teor...