A method to compute the General Neron Desingularization in the frame of one dimensional local domains
Abstract
An algorithmic proof of General Neron Desingularization is given here for one dimensional local domains and it is implemented in Singular. Also a theorem recalling Greenberg' strong approximation theorem is presented for one dimensional Cohen-Macaulay local rings.
0