An algorithm for the formal reduction of differential equations as over-approximations (Q6160777)

From MaRDI portal
scientific article; zbMATH DE number 7691355
Language Label Description Also known as
English
An algorithm for the formal reduction of differential equations as over-approximations
scientific article; zbMATH DE number 7691355

    Statements

    Identifiers

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