Innocuous Double Rounding of Basic Arithmetic Operations (Q5195257)

From MaRDI portal
scientific article; zbMATH DE number 7106493
Language Label Description Also known as
English
Innocuous Double Rounding of Basic Arithmetic Operations
scientific article; zbMATH DE number 7106493

    Statements

    0 references
    18 September 2019
    0 references
    0 references
    floating-point arithmetic
    0 references
    double rounding
    0 references
    Coq
    0 references
    0 references
    0 references
    0 references
    Innocuous Double Rounding of Basic Arithmetic Operations The value's type "string" does not match Property's type "monolingualtext".
    0 references