Computer-assisted proofs in PDE: a survey
Computer-assisted proofs in PDE: a survey
复制标题
DOI：
10.1007/s40324-019-00186-x
复制
发表时间：
2018-10
期刊：
影响因子：
--
通讯作者：
J. Gómez-Serrano
中科院分区：
文献类型：
--
作者：
J. Gómez-Serrano
在这项调查中，我们提出了一些最近的结果，计算机辅助偏微分方程的证明，集中在那些来自不可压缩流体的问题。特别强调的是技术，而不是结果本身。
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.