tlooto
Sign up
Open AccessComputer ScienceMathematicsPhysics

Computer-assisted proofs in PDE: a survey

Javier Gómez-Serrano

2018.10.1SeMA Journal

DOI: 10.1007/s40324-019-00186-x

tlooto Summary

In this survey, some recent results concerning computer-assisted proofs in partial differential equations, focusing in those coming from problems in incompressible fluids are presented.

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.

Citation format

GÓMEZ-SERRANO, Javier. Computer-assisted proofs in PDE: A survey [preprint]. arXiv, 2018. arXiv:1810.00745.