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