Parallel Marching Hypercubes Algorithm with Applications to Rigorous Proofs
Applications of Computational and Topological Methods to Dynamical Systems
Study of partial differential algebraic equations of hyperbolic-parabolic dominanc...
Rigorous computations for nonlinear partial differential equations