Abstract
An algorithmic proof of General Neron Desingularization is given here for one dimensional local rings and it is implemented in Singular. Also a theorem recalling Greenberg' strong approximation theorem is presented for one dimensional local rings.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have