10 citations · 10 across the 11 of their papers we have counts for
4 papers · 1 filter
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,…
The 2D Gray-Scott system of equations: constructive proofs of existence of localized stationary patterns
Matthieu Cadiot, Dominic Blanco
In this article, we present a comprehensive framework for constructing smooth, localized solutions in systems of semi-linear partial differential equations, with a particular empha…
Constructive proofs of existence and stability of solitary waves in the Whitham and capillary-gravity Whitham equations
Matthieu Cadiot
In this manuscript, we present a method to prove constructively the existence and spectral stability of solitary waves in both the Whitham and the capillary-gravity Whitham equatio…
Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
Matthieu Cadiot, Jean-Philippe Lessard, Jean-Christophe Nave
In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equatio…