@article{Gomez-Serrano:2019wz,
    Abstract = {In this survey we present some recent results concerning computer-assisted proofs in partial differential equations, focusing in those coming from problems in incompressible fluids. Particular emphasis is put on the techniques, as opposed to the results themselves.},
    Author = {G{\'o}mez-Serrano, Javier},
    File = {Computer-assisted proofs in PDE- a survey - 10.1007@s40324-019-00186-x.pdf},
    ISBN = {2281-7875},
    Journal = {SeMA Journal},
    Number = {3},
    Pages = {459--484},
    Title = {Computer-assisted proofs in PDE: a survey},
    URL = {https://doi.org/10.1007/s40324-019-00186-x},
    Volume = {76},
    Year = {2019},
    bdsk-url-1 = {https://doi.org/10.1007/s40324-019-00186-x},
    da = {2019/09/01},
    date-added = {2021-08-12 10:09:12 +0200},
    date-modified = {2021-08-12 10:09:12 +0200},
    id = {G{\'o}mez-Serrano2019},
    ty = {JOUR},
    doi = {10.1007/s40324-019-00186-x}
}

@article{Gomez-Serrano:2019wz, Abstract = {In this survey we present some recent results concerning computer-assisted proofs in partial differential equations, focusing in those coming from problems in incompressible fluids. Particular emphasis is put on the techniques, as opposed to the results themselves.}, Author = {G{\'o}mez-Serrano, Javier}, File = {Computer-assisted proofs in PDE- a survey - 10.1007@s40324-019-00186-x.pdf}, ISBN = {2281-7875}, Journal = {SeMA Journal}, Number = {3}, Pages = {459--484}, Title = {Computer-assisted proofs in PDE: a survey}, URL = {https://doi.org/10.1007/s40324-019-00186-x}, Volume = {76}, Year = {2019}, bdsk-url-1 = {https://doi.org/10.1007/s40324-019-00186-x}, da = {2019/09/01}, date-added = {2021-08-12 10:09:12 +0200}, date-modified = {2021-08-12 10:09:12 +0200}, id = {G{\'o}mez-Serrano2019}, ty = {JOUR}, doi = {10.1007/s40324-019-00186-x} }