A modified coefficient ideal for use with the strict transform

From MaRDI portal
Publication:633082

DOI10.1016/J.JSC.2010.10.005zbMATH Open1213.14116arXiv0812.1776OpenAlexW2012463571MaRDI QIDQ633082FDOQ633082


Authors: Anne Frühbis-Krüger Edit this on Wikidata


Publication date: 31 March 2011

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: Two main algorithmic approaches are known for making Hironaka's proof of resolution of singularities in characteristic zero constructive. Their main difference is the use of different notions of transforms during the resolution process and the use of a stratification by the Hilbert-Samuel function in the one using the strict transform. In this article, a (hybrid-type) algorithmic approach is proposed which allows the use of the strict transform without the full impact of the complexity of the stratification by the Hilbert-Samuel function at each step of the desingularization process. This new approach is not intended to always be superior to the implemented one which uses the weak transform, instead it has its strengths precisely at the weak point of the other one and is thus a candidate to be joined with it by an appropriate heuristic.


Full work available at URL: https://arxiv.org/abs/0812.1776




Recommendations




Cites Work


Uses Software





This page was built for publication: A modified coefficient ideal for use with the strict transform

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q633082)