Pages that link to "Item:Q2378271"
From MaRDI portal
The following pages link to A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271):
Displaying 4 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116) (← links)
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909) (← links)