How to guarantee finite termination of verifying global optimization codes (Q1300086)

From MaRDI portal





scientific article; zbMATH DE number 1333002
Language Label Description Also known as
English
How to guarantee finite termination of verifying global optimization codes
scientific article; zbMATH DE number 1333002

    Statements

    How to guarantee finite termination of verifying global optimization codes (English)
    0 references
    0 references
    14 February 2000
    0 references
    interval analysis
    0 references
    convergence
    0 references
    finite termination
    0 references
    algorithms
    0 references
    global optimization
    0 references
    controlling rounding errors
    0 references

    Identifiers

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