A method to compute the General Neron Desingularization in the frame of one dimensional local domains
Adrian Popescu, Dorin Popescu
TL;DR
This paper presents an algorithmic approach to compute the General Neron Desingularization specifically for one-dimensional local domains, along with implementation details and related theoretical results.
Contribution
It introduces an algorithmic proof for the General Neron Desingularization in one-dimensional local domains and provides an implementation in Singular.
Findings
Algorithmic proof of Neron Desingularization for one-dimensional local domains
Implementation of the algorithm in Singular software
A theorem on Greenberg's strong approximation for Cohen-Macaulay local rings
Abstract
An algorithmic proof of General Neron Desingularization is given here for one dimensional local domains and it is implemented in \textsc{Singular}. Also a theorem recalling Greenberg' strong approximation theorem is presented for one dimensional Cohen-Macaulay 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.
Taxonomy
TopicsCommutative Algebra and Its Applications · Algebraic structures and combinatorial models · Rings, Modules, and Algebras