@misc{indiciaedef517320fb4,
  title = {Rigorous computation of solutions of semi-linear PDEs on unbounded domains via spectral methods},
  author = {Matthieu Cadiot and Jean-Philippe Lessard and Jean-Christophe Nave},
  year = {2024},
  url = {https://arxiv.org/abs/2302.12877},
  note = {Source identifier: 2302.12877}
}