@misc{indiciaea15777d7395d,
  title = {Computer-assisted proofs in PDE: a survey},
  author = {Javier Gómez-Serrano},
  year = {2018},
  url = {https://arxiv.org/abs/1810.00745},
  note = {Source identifier: 1810.00745}
}