An algorithm for unimodular completion over noetherian rings (Q2464486)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An algorithm for unimodular completion over noetherian rings
scientific article

    Statements

    An algorithm for unimodular completion over noetherian rings (English)
    0 references
    0 references
    0 references
    21 December 2007
    0 references
    0 references
    Quillen-Suslin theorem
    0 references
    Suslin's stability theorem
    0 references
    constructive mathematics
    0 references
    computer algebra
    0 references
    0 references