Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains | 1 | 0.36 | 2022 |
A New Formulation Using The Schur Complement For The Numerical Existence Proof Of Solutions To Elliptic Problems: Without Direct Estimation For An Inverse Of The Linearized Operator | 0 | 0.34 | 2020 |
On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations | 0 | 0.34 | 2017 |
On very accurate verification of solutions for boundary value problems by using spectral methods | 0 | 0.34 | 2009 |