Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs

Matthieu Cadiot, Jonathan Jaquette, Jean-Philippe Lessard +1

In this paper, we achieve three primary objectives related to the rigorous computational analysis of nonlinear PDEs posed on complex geometries such as disks and cylinders. First,…