作者
Javier Gómez-Serrano
发表日期
2019/9/1
期刊
SeMA Journal
卷号
76
期号
3
页码范围
459-484
出版商
Springer International Publishing
简介
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.
学术搜索中的文章