Jakub Banaśkiewicz

Rigorous C1 integration of dissipative PDEs

We introduce a new $C^1$ algorithm for the rigorous integration of dissipative partial differential equations. The algorithm is designed for computer-assisted proofs that require rigorous control of both solutions and their derivatives with respect to initial data. As application...