activity
20182021
most citedA new formulation for the numerical proof of the existence of solutions to elliptic problems

9 citations · 28 across the 6 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

math.NA2021★ 6 cited

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

Xuefeng Liu, Mitsuhiro T. Nakao, Shin'ichi Oishi

This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that…