Related papers: Are theoretical results 'Results'?
In this work we shall prove new results on the theory of convolution operators on spaces of entire functions. The focus is on hypercyclicity results for convolution operators on spaces of entire functions of a given type and order; and…
We prove a strong approximation result for the empirical process associated to a stationary sequence of real-valued random variables, under dependence conditions involving only indicators of half lines. This strong approximation result also…
Functors with an instance of the Traversable type class can be thought of as data structures which permit a traversal of their elements. This has been made precise by the correspondence between traversable functors and finitary containers…
The goal of this paper is to present an algebraic approach to the basic results of the theory of linear recurrence relations. This approach is based on the ideas from the theory of representations of one endomorphisms (a special case of…
Gallagher's ergodic theorem is a result in metric number theory. It states that the approximation of real numbers by rational numbers obeys a striking 'all or nothing' behaviour. We discuss a formalisation of this result in the Lean theorem…
In the research on computational effects, defined algebraically, effect symbols are often expected to obey certain equations. If we orient these equations, we get a rewrite system, which may be an effective way of transforming or optimizing…
This is a 20-year old review on singularities and singularity theorems. The main reason to submit it now is -apart from increasing its availability- to correct a very strange error that appears in the journal's online version: it contains…
Despite the extraordinary successes the two great bastions of $20^{th}$ century science (Quantum Theory and General Relativity) are troubled with serious conceptual and mathematical difficulties. As a result, further growth of fundamental…
A recent paper of Furdui and Valean proves some results about sums of products of "tails" of the series for the Riemann zeta function. We show how such results can be proved with weaker hypotheses using multiple zeta values, and also show…
In this paper, we study existence results for initial value problems for hybrid fractional integro-differential equations. Our investigation is based on the Dhage hybrid fixed point theorem. Some fundamental fractional differential…
In this article we present certain formulas involving arithmetical functions. In the first part we study properties of sums and product formulas for general type of arithmetic functions. In the second part we apply these formulas to the…
We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-complete in the presence of redundancy elimination rules,…
In this paper, we consider formal series associated with events, profiles derived from events, and statistical models that make predictions about events. We prove theorems about realizations for these formal series using the language and…
Performance prediction or forecasting sporting outcomes involves a great deal of insight into the particular area one is dealing with, and a considerable amount of intuition about the factors that bear on such outcomes and performances. The…
We prove that any finitely generated one ended group has linear end depth. Moreover, we give alternative proofs to theorems relating the growth of a finitely generated group to the number of its ends.
We introduce a method to derive theorems from Elementary Number Theory by means of relationships among formal languages. Using $\sigma$-algebras, we define what a proof of a number-theoretical statement by Language Theory means. We prove…
We survey the classical results of the Dirichlet Approximation Theorem.
We prove an existence and uniqueness result for solutions to linear $X$-elliptic equations with $L^1$ data and zero Dirichlet boundary conditions. Such solutions depend continuously on the datum. Moreover, we show that an improvement in the…
An achievement set of a series is a set of all its subsums. We study the properties of achievement sets of conditionally convergent series in finite dimensional spaces. The purpose of the paper is to answer some of the open problems…
In this paper, we extend the concept of \( b \)-metric spaces to the vectorial case, where the distance is vector-valued, and the constant in the triangle inequality axiom is replaced by a matrix. For such spaces, we establish results…