Related papers: Euler integration over definable functions
In Chapter 3 of his Notes on constructive mathematics, Martin-L{\"o}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable ordinals. In fact, the Turing definition of computable…
We introduce a general definition of hybrid transforms for constructible functions. These are integral transforms combining Lebesgue integration and Euler calculus. Lebesgue integration gives access to well-studied kernels and to regularity…
Given a continuous sensor field, we can apply the Euler characteristic integral approach to count the number of targets in the sensor field. If the sensor field is discrete, the Euler integral approach introduces errors into our target…
We consider the Euler approach to construction and to investigation of the superintegrable systems related to the addition theorems. As an example we reconstruct Drach systems and get some new two-dimensional superintegrable Stackel…
We consider several systems of algebras of real- and complex-valued functions, which appear in o-minimal geometry and related geometrically tame contexts. For each such system, we prove its stability under parametric integration and we…
In this article, we study Euler characteristic techniques in topological data analysis. Pointwise computing the Euler characteristic of a family of simplicial complexes built from data gives rise to the so-called Euler characteristic…
There are presented certain results on extending continuous linear operators defined on spaces of E-valued continuous functions (defined on a compact Hausdorff space X) to linear operators defined on spaces of E-valued measurable functions…
We develop notions of integrable functions within the theory of schemic motivic integration.
Let $f \in M_+(\mathbb{R}_+)$, the class of nonnegative, Lebesgure-measurable functions on $\mathbb{R}_+=(0, \infty)$. We deal with integral operators of the form \[ (T_Kf)(x)=\int_{\mathbb{R}_+}K(x,y)f(y)\, dy, \quad x \in \mathbb{R}_+, \]…
This paper deals with the evaluation of some definite Euler-type integrals in terms of the Wright hypergeometric function. We obtain a theorem on the Wright hypergeometric function and then use this theorem to evaluate some definite…
We develop elements of a general dilation theory for operator-valued measures and bounded linear maps between operator algebras that are not necessarily completely-bounded. We prove our main results by extending and generalizing some known…
Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers-Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under…
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 define Euler characteristic of a category enriched by a monoidal model category. If a monoidal model category V is equipped with Euler characteristic that is compatible with weak equivalences and fibrations in V, then our Euler…
In the main part of the paper, on the basis of contour integration of complex meromorphic functions whose singularities lie onto an integration contour, in the first step, a concept of improper integrals absolute existence of meromorphic…
Semi-invertible multiplicative ergodic theorems establish the existence of an Oseledets splitting for cocycles of non-invertible linear operators (such as transfer operators) over an invertible base. Using a constructive approach, we…
We extend the sum-of-divisors function to the complex plane via the Gaussian integers. Then we prove a modified form of Euler's classification of odd perfect numbers.
A method, recently advanced as the conformable Euler method, a general method for the finite difference discretization of fractional initial value problems for fractions in (0, 1], is shown to be valid only for the integer derivative. The…
In this work, series expansions in terms of Bessel functions of the first kind are given for the sine and cosine integrals. These representations differ from many of the known Neumann-type series expansions for the sine and cosine…
A procedure is suggested for testing the resolution and comparing the relative accuracy of numerical schemes for integration of the incompressible Euler equations.