Title: Constructive Néron Desingularization of algebras with big smooth locus,
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.