Ein numerisches Verfahren zur analytischen Fortsetzung.
Letg:U→ℝ (U open in ℝn) be an analytic and K-subanalytic (i. e. definable in ℝanK, whereK, the field of exponents, is any subfield ofℝ) function. Then the set of points, denoted Σ, whereg does not admit an analytic extension is K-subanalytic andg can be extended analytically to a neighbourhood of Ū.