Computer-assisted Uniqueness Proof for Stokes' Wave of Extreme Form

DOI10.1142/9789814449755_0005zbMATH Open1297.45010OpenAlexW2493469166MaRDI QIDQ3191028

Kenta Kobayashi

Publication date: 22 September 2014

Published in: Emerging Topics on Differential Equations and Their Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814449755_0005

zbMATH Keywords

gravity wavenumerical verification methodNekrasov's equationStokes' conjectureStokes' wave of extreme form

Mathematics Subject Classification ID

Other nonlinear integral equations (45G10)

Related Items (1)

Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains

This page was built for publication: Computer-assisted Uniqueness Proof for Stokes' Wave of Extreme Form

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3191028)