Computer-assisted proofs in PDE: a survey
From MaRDI portal
Publication:2321033
DOI10.1007/s40324-019-00186-xWikidataQ113898585 ScholiaQ113898585MaRDI QIDQ2321033
Publication date: 28 August 2019
Published in: S\(\vec{\text{e}}\)MA Journal (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1810.00745
35Q35: PDEs in connection with fluid mechanics
65G30: Interval and finite arithmetic
35R35: Free boundary problems for PDEs
Uses Software