Related papers: Integration of positive constructible functions ag…

In recent years, many types of elliptical Radon transforms that integrate functions over various sets of ellipses/ellipsoids have been considered, relating to studies in bistatic synthetic aperture radar, ultrasound reflection tomography,…

We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles. Our logic…

We construct a new motivic integration morphism, the so-call bounded integral, that interpolates both the integration morphisms with and without volume forms of Hrushovski and Kazhdan. This is done within the framework of model theory of…

The standard Radon transform of holomorphic functions is not always well defined, as the integration of such functions over planes may not converge. In this paper, we introduce new Radon-type transforms of co-(real)dimension $2$ for…

While automata theory often concerns itself with regular predicates, relations corresponding to acceptance by a finite state automaton, in this article we study the regular functions, such relations which are also functions in the…

We present a new method for the reconstruction of rational functions through finite-fields sampling that can significantly reduce the number of samples required. The method works by exploiting all the independent linear relations among…

The formal term-by-term differentiation with respect to parameters is demonstrated to be legitimate for the Mittag-Leffler type functions. The justification of differentiation formulas is made by using the concept of the uniform…

The classical as well as non commutative Korovkin-type theorems deal with convergence of positive linear maps with respect to modes of convergences such as norm convergence and weak operator convergence. In this article, Korovkin-type…

We lay the groundwork in this first installment of a series of papers aimed at developing a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely power-bounded T-convex valued…

We extend Helgason's classical definition of a generalized Radon transform, defined for a pair of homogeneous spaces of an lcsc group $G$, to a broader setting in which one of the spaces is replaced by a possibly non-homogeneous dynamical…

Motivated by the testing condition for Radon-Brascamp-Lieb multilinear functionals established in arXiv:2201.12201, this paper is concerned with identifying local conditions on smooth maps $u(t)$ with values in the space of decomposable…

An example of constructive (in A.A.Markov's sense) real-valued function, which is integrable by Riemann, but is not integrable by Darboux, is constructed.

For the solvable polynomial algebras introduced and studied by Kandri-Rody and Weispfenning [J. Symbolic Comput., 9(1990)], a constructive characterization is given in terms of Gr\"obner bases for ideals of free algebras, thereby solvable…

Generalizing Lemma 28 from Newton's ``Principia", Arnold asked for a complete characterization of algebraically integrable domains. In this paper we describe the current state of Arnold's problems. We also consider closely related problems…

Topological transforms have been very useful in statistical analysis of shapes or surfaces without restrictions that the shapes are diffeomorphic and requiring the estimation of correspondence maps. In this paper we introduce two…

We study the ring of rational functions admitting a continuous extension to the real affine space. We establish several properties of this ring. In particular, we prove a strong Nullstelensatz. We study the scheme theoretic properties and…

We give a wide class of Lie-Poisson systems for which explicit, Lie-Poisson integrators, preserving all Casimirs, can be constructed. The integrators are extremely simple. Examples are the rigid body, a moment truncation, and a new, fast…

Hyper-Positive Real, matrix-valued, rational functions are associated with absolute stability (the Lurie problem). Here, quantitative subsets of Hyper-positive functions, related through nested inclusions, are introduced. Structurally, this…

In this contribution we generalize the classical Fourier Mellin transform [S. Dorrode and F. Ghorbel, Robust and efficient Fourier-Mellin transform approximations for gray-level image reconstruction and complete invariant description,…

This paper discusses the general structure of reflection positive Euclidean covariant distributions that can be used to construct Euclidean representations of relativistic quantum mechanical models of systems of a finite number of degrees…