Rigorous computations for nonlinear partial differential equations
Study of partial differential algebraic equations of hyperbolic-parabolic dominanc...
Parallel Marching Hypercubes Algorithm with Applications to Rigorous Proofs
Modelling the Quasi-Periodic Oscillations and Their Respective Time Lags in Neutro...
Stochastic Exit Problems with Applications to Geophysical and Atmospheric Problems.