Algoritmo Marching Hypercubes Paralelo com Aplicações a Provas Rigorosas
Aplicações de Métodos Computacionais e Topológicos em Sistemas Dinâmicos
Estudo de equações diferenciais parciais algébricas com dominância hiperbólica-par...
Rigorous computations for nonlinear partial differential equations. (fapesp-caldo)