TY  - RPRT
TI  - Computer-assisted proofs in PDE: a survey
AU  - Javier Gómez-Serrano
PY  - 2018
UR  - https://arxiv.org/abs/1810.00745
ID  - 1810.00745
ER  -