Key Words: Regular rings, Smooth morphisms, Regular morphisms, Unramfied extension of discrete valuation rings, Algorithms.
2010 Mathematics Subject Classification: Primary 13B40, Secondary 14B25, 13H05, 13J15.