FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings (Q5744123)

From MaRDI portal
scientific article; zbMATH DE number 6541851
Language Label Description Also known as
English
FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings
scientific article; zbMATH DE number 6541851

    Statements

    FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings (English)
    0 references
    0 references
    0 references
    0 references
    17 February 2016
    0 references
    fixpoint equations
    0 references
    semirings
    0 references
    Newton's method
    0 references

    Identifiers