Login / Signup
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains.
Xuefeng Liu
Mitsuhiro T. Nakao
Shin'ichi Oishi
Published in:
CoRR (2021)
Keyphrases
</>
computer assisted
navier stokes
numerical simulations
computer aided
intraoperative
non stationary
computational fluid dynamics
foreign language
databases
neural network
computer vision
velocity field
numerical solution
variational inequalities
nonlinear equations
complementarity problems