Related papers: On Nash approximation of complex analytic sets in …

The complex-step derivative approximation is a numerical differentiation technique that can achieve analytical accuracy, to machine precision, with a single function evaluation. In this letter, the complex-step derivative approximation is…

We prove that in every separable Banach space $X$ with a Schauder basis and a $C^k$-smooth norm it is possible to approximate, uniformly on bounded sets, every equivalent norm with a $C^k$-smooth one in a way that the approximation is…

We prove that every smooth compact submanifold of $\R^n$ can be approximated up to a small isotopy by the real locus of a nonsingular complex algebraic subset of $\C^n$ defined over $\R$. This settles a version of a conjecture posed in 1952…

In Mergelyan type approximation we uniformly approximate functions on compact sets K by polynomials or rational functions or holomorphic functions on varying open sets containing K. In the present paper we consider analogous approximation,…

In transferring some results from universal Taylor series to the case of Pad\'e approximants we obtain stronger results, such as, universal approximation on compact sets of arbitrary connectivity and generic results on planar domains of any…

We show that any bounded domain in a doubling quasiconvex metric space can be approximated from inside and outside by uniform domains.

Reachability analysis, in general, is a fundamental method that supports formally-correct synthesis, robust model predictive control, set-based observers, fault detection, invariant computation, and conformance checking, to name but a few.…

Existence and uniqueness of complex geodesics joining two points of a convex bounded domain in a Banach space $X$ are considered. Existence is proved for the unit ball of $X$ under the assumption that $X$ is 1-complemented in its double…

We prove some results on when functions on compact sets $K \subset \mathbb C$ can be approximated by polynomials avoiding values in given sets. We also prove some higher dimensional analogues. In particular we prove that a continuous…

For any $p\in[1,\infty)$, we prove that the set of simple functions taking at most $k$ different values is proximinal in B\"ochner spaces $L^p(X)$ whenever $X$ is a dual Banach space with $w^*$-sequentially compact unit ball. With…

A deep approximation is an approximating function defined by composing more than one layer of simple functions. We study deep approximations of functions of one variable using layers consisting of low-degree polynomials or simple conformal…

We prove that holomorphic maps from an open subset of a complex smooth projective curve to a complex smooth projective rationally simply connected variety can be approximated by algebraic maps for the compact-open topology. This theorem can…

In this paper we address some problems concerning an approximate Dirichlet domain. We show that under some assumptions the approximate Dirichlet domain can work equally well as an exact Dirichlet domain. In particular, we consider a problem…

We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian…

We prove that a compact complex analytic variety is algebraizable if and only if its bounded derived dg-category of coherent sheaves is saturated.

We show that every bounded hyperconvex Reinhardt domain can be approximated by special polynomial polyhedra defined by homogeneous polynomial mappings. This is achieved by means of approximation of the pluricomplex Green function of the…

Considering a mapping g holomorphic on a neighbourhood of a rationally convex set K in $C^n$, and range into the complex projective space $P^m$, the main objective of this paper is to show that we can uniformly approximate g on K by…

This paper considers the problems of finite determinacy and approximation of flat analytic maps from germs of real or complex analytic spaces. It is shown that the flatness of analytic maps from germs of real or complex analytic spaces…

The renowned Theorem of Nobile, proved by Nobile in 1975, states that a pure dimensional complex analytic set $X$ is analytically smooth if and only if its Nash transformation $\eta: \mathcal{N}(X) \to X$ is an analytic isomorphism. While…

Let $\mathbb D^n\subset\mathbb C^n$ be the open unit polydisk, $K\subset\mathbb D^n$ be an $n$-ary Cartesian product of planar sets, and $\hat U\subset \mathfrak M^n$ be an open neighbourhood of the closure $\bar K$ of $K$ in $\mathfrak…