Computer-assisted proofs in PDE: a survey
From MaRDI portal
Publication:6307526
DOI10.1007/S40324-019-00186-XarXiv1810.00745WikidataQ113898585 ScholiaQ113898585MaRDI QIDQ6307526
Publication date: 1 October 2018
PDEs in connection with fluid mechanics (35Q35) Interval and finite arithmetic (65G30) Free boundary problems for PDEs (35R35)
This page was built for publication: Computer-assisted proofs in PDE: a survey