An efficient approach to solve very large dense linear systems with verified computing on clusters (Q2948101)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An efficient approach to solve very large dense linear systems with verified computing on clusters
scientific article

    Statements

    An efficient approach to solve very large dense linear systems with verified computing on clusters (English)
    0 references
    0 references
    0 references
    0 references
    29 September 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    interval arithmetic
    0 references
    verified computing
    0 references
    linear systems
    0 references
    parallel algorithms
    0 references
    BLAS
    0 references
    ScaLAPACK
    0 references
    PBLAS
    0 references
    LAPACK
    0 references
    C-XSC
    0 references
    Matlab
    0 references
    INTLAB
    0 references
    PLASMA
    0 references
    MAGMA
    0 references
    automatic result verification
    0 references
    numerical experiments
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references