paper

Construction of Neron Desingularization for Two Dimensional Rings

arXiv:1612.01827

Abstract

An algorithmic proof of the General Neron Desingularization theorem is given for -dimensional local rings and morphisms with small singular locus.