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
21 December 2007
0 references
Quillen-Suslin theorem
0 references
Suslin's stability theorem
0 references
constructive mathematics
0 references
computer algebra
0 references
