Constructive general Néron desingularization for one dimensional local rings (Q1711989)

The Néron Desingularization was established in [\textit{A. Néron}, Publ. Math. IHES. 21, No. 1, 5--125 (1964; Zbl 0132.41403)] and it was generalized by several authors (Popescu, André, Swan, Spivakovsky). The authors of the paper under review give an algorithmic proof of the General Néron Desingularization for one dimensional local rings. They implement it in Computer Algebra System SINGULAR. The last section of the paper gives a result of \textit{M. Greenberg}'s type [Publ. Math. IHES. 31, No. 1, 59--64 (1966; Zbl 0146.42201)] for one-dimensional rings when the Jacobian locus is not too small.