The following pages link to (Q2953063):
Displaying 4 items.
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
- Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms (Q2297123) (← links)
- Optimal estimation for the Fujino-Morley interpolation error constants (Q2318506) (← links)
- Explicit bound for quadratic Lagrange interpolation constant on triangular finite elements (Q2422957) (← links)