Login / Signup
An extension and simpler proof of Berselli-Córdoba's geometric regularity condition for the Navier-Stokes system.
Zujin Zhang
Weihua Wang
Xian Yang
Published in:
Comput. Math. Appl. (2019)
Keyphrases
</>
navier stokes
geometry theorem proving
sufficient conditions
numerical simulations
theorem proving
fluid dynamics
three dimensional
theorem prover
velocity field
proof theoretic