Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces (Q5495219)

From MaRDI portal
scientific article; zbMATH DE number 6323499
Language Label Description Also known as
English
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
scientific article; zbMATH DE number 6323499

    Statements

    Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    31 July 2014
    0 references
    eigenvalue exclosure
    0 references
    differential operators
    0 references
    computer-assisted proof
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references