Rigorous Computation of Solutions of Semilinear PDEs on Unbounded Domains via Spectral Methods. - Matthieu Cadiot; Jean-Philippe Lessard; Jean-Christophe Nave (SIAM J. Appl. Dyn. Syst., 2024)

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs. - Matthieu Cadiot; Jonathan Jaquette; Jean-Philippe Lessard; Akitoshi Takayasu (Commun. Nonlinear Sci. Numer. Simul., 2025)