Constructive General Neron Desingularization for one dimensional local rings
Gerhard Pfister, Dorin Popescu
TL;DR
This paper presents an algorithmic proof of the General Neron Desingularization for one-dimensional local rings, along with an implementation in Singular and a related theorem on Greenberg's strong approximation.
Contribution
It provides the first algorithmic proof for this desingularization in one-dimensional local rings and includes an implementation and a related approximation theorem.
Findings
Algorithmic proof of Neron Desingularization for one-dimensional local rings
Implementation of the algorithm in Singular
A theorem on Greenberg's strong approximation for these rings
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.