A method to compute the General Neron Desingularization in the frame of one dimensional local domains

An algorithmic proof of General Neron Desingularization is given here for one dimensional local domains and it is implemented in $\text{textsc}Singular$. Also a theorem recalling Greenberg’ strong approximation theorem is presented for one dimensional Cohen-Macaulay local rings.