Related papers: An introduction to constructive desingularization
We present a survey on the recent progress with desingularization of quasi-excellent schemes of characteristic zero. Due to expository goals of the paper we concentrate on giving examples and outlining main ideas, and we refer to other…
Dominant areas of computer science and computation systems are intensively linked to the hypercube-related studies and interpretations. This article presents some transformations and analytics for some example algorithms and Boolean domain…
We present algorithms to classify isolated hypersurface singularities over the real numbers according to the classification by V.I. Arnold (Arnold et al., 1985). This first part covers the splitting lemma and the simple singularities; a…
In this article we use our constructions from "Enlargements of Categories" (Theory and Applications of Categories, 14:357-398) to lay down some foundations for the application of A. Robinson's nonstandard methods to modern Algebraic…
This paper deals with a remarkable integrable discretization of the so(3) Euler top introduced by Hirota and Kimura. Such a discretization leads to an explicit map, whose integrability has been understood by finding two independent…
Updated version. Includes comments on the advances in the field from the Kyoto workshop on Resolution of Singularities in Positive Characteristic, December 2008. The article surveys the theory of kangaroo points as they appear in the…
By Hironaka Desingularization Theorem, any real analytic function has only normal crossing singularities after a suitable modification. We focus on the analytic equivalence of such functions with only normal crossing singularities. We prove…
General revision. In particular the parts concerning involutive bases over rings have been significantly changed. In addition some proofs have been improved.
We develop a new symbolic-numeric algorithm for the certification of singular isolated points, using their associated local ring structure and certified numerical computations. An improvement of an existing method to compute inverse systems…
By employing the (de)homogenization technique in a relatively extensive setting, this note studies in detail the relation between non-homogeneous Gr\"obner bases and homogeneous Gr\"obner bases. As a consequence, a general principle of…
An algorithm for resolution of singularities in characteristic zero is described. It is expressed in terms of multi-ideals, that essentially are defined as a finite sequence of pairs, each one consiting of a sheaf of ideals and a positive…
The aim of this article is to introduce standard bases of ideals in polynomial rings with respect to a class of orderings which are not necessarily semigroup orderings. Our approach generalises the concept of standard bases with respect to…
This set of notes re-proves known results on weighted automata (over a field, also known as multiplicity automata). The text offers a unified view on theorems and proofs that have appeared in the literature over decades and were written in…
In the first part of the paper we discuss the current status of the application of the gluing methodology to doubling and desingularization constructions for minimal surfaces in Riemannian three-manifolds. In particular a doubling…
A method for computing singular or nearly singular integrals on closed surfaces was presented by J. T. Beale, W. Ying, and J. R. Wilson [Comm. Comput. Phys. 20 (2016), 733--753, arXiv:1508.00265] and applied to single and double layer…
The subject is partial resolution of singularities. Given an algebraic variety X (not necessarily equidimensional) in characteristic zero (or, more generally, a pair (X,D), where D is a divisor on X), we construct a functorial…
Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the…
This paper presents two new constructions related to singular solutions of polynomial systems. The first is a new deflation method for an isolated singular root. This construc-tion uses a single linear differential form defined from the…
We provide a proof of strong normalisation for lambda+, a recently introduced, explicitly typed, non-deterministic lambda-calculus where isomorphic propositions are identified. Such a proof is a non-trivial adaptation of the reducibility…
These are the notes for my lecture ``Resolution of Sigularities in Charcteristic 0" given at the AMS Summer Institute at Seattle. It gives a self contained proof of the strong Hironaka resolution theorem.