Constructive Néron Desingularization of algebras with big smooth locus
arXiv:1702.01867
Abstract
An algorithmic proof of the General Néron Desingularization theorem and its uniform version is given for morphisms with big smooth locus. This generalizes the results for the one-dimensional case.
In this form will appear in Communications in Algebra