research
∙
05/14/2023
Validated integration of semilinear parabolic PDEs
Integrating evolutionary partial differential equations (PDEs) is an ess...
research
∙
09/28/2020
Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
We use computer-assisted proof techniques to prove that a branch of non-...
research
∙
06/23/2020