Checking approximate computations over the reals (Q5248550)

From MaRDI portal
scientific article; zbMATH DE number 6434293
Language Label Description Also known as
English
Checking approximate computations over the reals
scientific article; zbMATH DE number 6434293

    Statements

    Checking approximate computations over the reals (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    7 May 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references