Related papers: Elementary analytic functions in $VTC^0$

A complex-analytic structure within the unit disk of the complex plane is presented. It can be used to represent and analyze a large class of real functions. It is shown that any integrable real function can be obtained by means of the…

For $-1\le B<A\le 1$, let $\mathcal{S}^*(A,B)$ denote the class of normalized analytic functions $f(z)= z+\sum_{n=2}^{\infty}a_n z^n$ in $|z|<1$ which satisfy the subordination relation $zf'(z)/f(z)\prec (1+Az)/(1+Bz)$ and $\Sigma^*(A,B)$…

We aim to completely formalize the rough topological analysis of integrable Hamiltonian systems admitting analytical solutions such that the initial phase variables along with the time derivatives of the auxiliary variables are expressed as…

We design algorithms for computing values of many p-adic elementary and special functions, including logarithms, exponentials, polylogarithms, and hypergeometric functions. All our algorithms feature a quasi-linear complexity with respect…

We study Basic Arithmetic, BA introduced by W. Ruitenburg. BA is an arithmetical theory based on basic logic which is weaker than intuitionistic logic. We show that the class of the provably total recursive functions of BA is a proper…

There recently has been some interest in the space of functions on an interval satisfying the heat equation for positive time in the interior of this interval. Such functions were characterised as being analytic on a square with the…

In the framework of graphs, we study abstract elementary classes (aecs). In this work we analyze several properties of Forb(G) and versions of Forb-Con(G) in the context of aecs and we present some examples of classes of graphs which…

Elementary function calls are a common feature in numerical programs. While their implementions in library functions are highly optimized, their computation is nonetheless very expensive compared to plain arithmetic. Full accuracy is,…

In this article a technique for constructing $p$-ary bent functions from near-bent functions is presented. Two classes of quadratic $p$-ary functions are shown to be near-bent. Applying the construction of bent functions to these classes of…

We derive an operator based factorization theorem for the energy-energy correlation (EEC) observable in the back-to-back region, allowing the cross section to be written as a convolution of hard, jet and soft functions. We prove the…

A variety of problems emerged investigating electronic circuits, computer devices and cellular automata motivated a number of attempts to create a differential and integral calculus for Boolean functions. In the present article, we extend…

Following recent work of R. Cluckers and F. Loeser [Fonctions constructible et integration motivic I, C. R. Math. Acad. Sci. Paris 339 (2004) 411 - 416] on motivic integration, we develop a direct image formalism for positive constructible…

We describe an algorithm for arbitrary-precision computation of the elementary functions (exp, log, sin, atan, etc.) which, after a cheap precomputation, gives roughly a factor-two speedup over previous state-of-the-art algorithms at…

We show that the derivative of a log-analytic function is log-analytic. We prove that log-analytic functions exhibit strong quasianalytic properties. We establish the parametric version of Tamm's theorem for log-analytic functions.

We prove that the logarithm of an arbitrary tau-function of the KdV hierarchy can be approximated, in the topology of graded formal series by the logarithmic expansions of hyperelliptic theta-functions of finite genus, up to at most…

In this report, we consider extended real-valued functions on some real vector space. Gerstewitz functionals are used to construct all translative functions. We derive formulas for translative functions which are lower semicontinuous,…

We discuss extended definitions of linear and multilinear operations such as Kronecker, Hadamard, and contracted products, and establish links between them for tensor calculus. Then we introduce effective low-rank tensor approximation…

We consider abstract Banach spaces of analytic functions on general bounded domains that satisfy only a minimum number of axioms. We describe all invertible (equivalently, surjective) weighted composition operators acting on such spaces.…

Integration of polynomials over the classical groups of unitary, orthogonal and symplectic matrices can be reduced to basic building blocks known as Weingarten functions. We present an elementary derivation of these functions.

We study spaces $\mathcal{CV}^{k}(\Omega,E)$ of $k$-times continuously partially differentiable functions on an open set $\Omega\subset\mathbb{R}^{d}$ with values in a locally convex Hausdorff space $E$. The space…