Abstract fixpoint computations with numerical acceleration methods (Q2814099)

From MaRDI portal





scientific article; zbMATH DE number 6594900
Language Label Description Also known as
English
Abstract fixpoint computations with numerical acceleration methods
scientific article; zbMATH DE number 6594900

    Statements

    0 references
    0 references
    0 references
    17 June 2016
    0 references
    abstract numerical domains
    0 references
    acceleration of convergence
    0 references
    widening operator
    0 references
    0 references
    0 references
    0 references
    Abstract fixpoint computations with numerical acceleration methods (English)
    0 references

    Identifiers