A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
scientific article; zbMATH DE number 7379320
scientific article