Numerical verification of existence and inclusion of solutions for nonlinear operator equations (Q1900759)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Numerical verification of existence and inclusion of solutions for nonlinear operator equations
scientific article

    Statements

    Numerical verification of existence and inclusion of solutions for nonlinear operator equations (English)
    0 references
    0 references
    23 October 1995
    0 references
    finite method
    0 references
    abstract nonlinear operator equations
    0 references
    self-validating numerics
    0 references
    computer-assisted existence proof
    0 references
    Newton's method
    0 references
    Urabe-Galerkin's method
    0 references
    Banach space
    0 references
    inclusion of solutions
    0 references
    periodic solution
    0 references
    Duffing equation
    0 references

    Identifiers

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