相关论文: A generalization of a Cullen's Integral Theorem fo…
An integral quadratic form is called strictly $n$-regular if it primitively represents all quadratic forms in $n$ variables that are primitively represented by its genus. For any $n \geq 2$, it will be shown that there are only finitely…
We prove a continued fraction expansion for a certain q--tangent function that was conjectured by Prodinger.
An analog of Picard's little theorem for entire functions of matrices is proved.
We prove that united K-theory is a surjective functor from the category of real simple purely infinite C*-algebras to the cateogry of countable acyclic CRT-modules.
We construct a counterexample to a well-known extension theorem for slice regular functions, which motivates us to develop a theory of Riemann slice-domains by introducing a new topology on quaternions. By some paths describing axial…
We propose a new integral based on Taylor measures, study its properties extensively, and we illustrate that it includes many concepts from mathematics as special cases. In particular, the new integral emerges as a generalization of the…
In the context of the complex-analytic structure within the open unit disk, that was established in a previous paper, here we establish a simple generalization of the Cauchy-Goursat theorem of complex analytic functions. We do this first…
In this paper a quaternionic sharp version of the Carath\'{e}odory theorem is established for slice regular functions with positive real part, which strengthes a weaken version recently established by D. Alpay et. al. using the Herglotz…
In this paper we announce some results obtained for certain algebraic functions, which we call of cyclotomic type. The main results properly resemble von Staudt-Clausen's theorem and Kummer's congruence for the Bernoulli numbers, and such…
The two-sided quaternion Fourier transform satisfies some uncertainty principles similar to the Euclidean Fourier transform. A generalization of Beurling's theorem, Hardy, Cowling-Price and Gelfand-Shilov theorems, is obtained for the…
In this paper, we prove common fixed point results for a self-mappings satisfying an implicit function which is general enough to cover a multitude of known as well as unknown contractions. Our results modify, unify, extend and generalize…
The purpose of this paper is to present a solution to perhaps the final remaining case in the line of study concerning the generalization of Forelli's theorem on the complex analyticity of the functions that are: (1) $\mathcal{C}^\infty$…
In this paper, we lay the foundations of the theory of slice regular functions in several variables ranging in any real alternative $^*$-algebra, including quaternions, octonions and Clifford algebras. This theory is an extension of the…
We prove an analog of Siegel's theorem for integral points in the context of Drinfeld modules. The result holds for finitely generated submodules of the additive group over a function field of transcendence dimension 1.
We note that an argument by Rogers (1958) gives a proof of Vaaler's theorem (1979) about sections of the cube and allows certain generalizations of the theorem.
The additivity theorem for derivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity,…
Beginning in 2006, G. Gentili and D.C. Struppa developed a theory of regular quaternionic functions with properties that recall classical results in complex analysis. For instance, in each Euclidean ball centered at 0 the set of regular…
Laurin\v{c}ikas proposed that whether the universality theorem for the Riemann zeta-function shifted by an exponential function holds or not. This problem is solved for more general shifts by Andersson et al. In this paper, we generalize…
We define a very general notion of regularity for functions taking values in an alternative real $*$-algebra. Over Clifford numbers, this notion subsumes the well-established notions of monogenic function and slice-monogenic function. Over…
We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…