TY  - RPRT
TI  - Rigorous computation of solutions of semi-linear PDEs on unbounded domains via spectral methods
AU  - Matthieu Cadiot
AU  - Jean-Philippe Lessard
AU  - Jean-Christophe Nave
PY  - 2024
UR  - https://arxiv.org/abs/2302.12877
ID  - 2302.12877
ER  -