Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4945946 | Journal of Symbolic Computation | 2017 | 11 Pages |
Abstract
An algorithmic proof of General Neron Desingularization is given here for one dimensional local rings and it is implemented in Singular. Also a theorem recalling Greenberg' strong approximation theorem is presented for one dimensional local rings.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Gerhard Pfister, Dorin Popescu,