Numerical verification of existence and inclusion of solutions for nonlinear operator equations
scientific article; zbMATH DE number 808369
scientific article