Formalization and implementation of floating-point matrix operations (Q1223127)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formalization and implementation of floating-point matrix operations
scientific article

    Statements

    Formalization and implementation of floating-point matrix operations (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1976
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references