On the use of naturality in algorithmic resolution
From MaRDI portal
(Redirected from Publication:615863)
Recommendations
- An algorithmic approach to resolutions
- Natural algorithms
- scientific article; zbMATH DE number 2015404
- scientific article; zbMATH DE number 849903
- Natural computing algorithms
- Natural algorithms for flow problems
- scientific article; zbMATH DE number 45545
- The complexity of resolution refinements
- Determinization of Resolution by an Algorithm Operating on Complete Assignments
- Natural deduction as higher-order resolution
Cites work
- scientific article; zbMATH DE number 3781320 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 2121485 (Why is no real title available?)
- scientific article; zbMATH DE number 1420930 (Why is no real title available?)
- A simplified proof of desingularization and applications
- Algorithmic equiresolution of deformations of embedded varieties
- Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
- Constructiveness of Hironaka's resolution
- Elimination with applications to singularities in positive characteristic
- Functoriality in resolution of singularities
- Lectures on Resolution of Singularities (AM-166)
- Resolution of singularities of an algebraic variety over a field of characteristic zero. I
- Simple Hironaka resolution in characteristic zero
- Strong resolution of singularities in characteristic zero
- THEORY OF INFINITELY NEAR SINGULAR POINTS
- Toward resolution of singularities over a field of positive characteristic. I. Foundation; the language of the idealistic filtration
Cited in
(4)
This page was built for publication: On the use of naturality in algorithmic resolution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q615863)