A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
infinite-dimensional eigenvalue problems
scientific article; zbMATH DE number 2091423