Related papers: A recursion identity for formal iterated logarithm…
We prove a generalized rationality property and a new identity that we call the ``Jacobi identity'' for intertwining operator algebras. Most of the main properties of genus-zero conformal field theories, including the main properties of…
In this work we study the connection between iterated tilted algebras and m-cluster tilted algebras. We show that an iterated tilted algebra induces an m-cluster tilted algebra. This m-cluster tilted algebra can be seen as a trivial…
Starting with the recursive extended Euclid's algorithm, we apply a systematic approach using matrix notation to transform it into an iterative algorithm. The partial correctness proof derived from the transformation turns out to be very…
After obtaining some useful identities, we prove an additional functional relation for $q$ exponentials with reversed order of multiplication, as well as the well known direct one in a completely rigorous manner.
We introduce a set of special functions called multiple polyexponential integrals, defined as iterated integrals of the exponential integral $\text{Ei}(z)$. These functions arise in certain perturbative expansions of the local solutions of…
In this paper, algorithms are developed for computing the Stirling transform and the inverse Stirling transform; specifically, we investigate a class of sequences satisfying a two-term recurrence. We derive a general identity which…
In the note, the authors give a unified proof of Identities~67, 84, and~85 in the monograph "M. Z. Spivey, The Art of Proving Binomial Identities, Discrete Mathematics and its Applications, CRC Press, Boca Raton, FL, 2019; available online…
A new mathematical notation is proposed for the iteration of functions. It facilitates the application of the iteration of functions in mathematical and logical expressions, definitions of sets, and formulations of algorithms. Illustrations…
Inspired by Besser's work on Coleman integration, we use $\nabla$-modules to define iterated line integrals over Laurent series fields of characteristic $p$ taking values in double cosets of unipotent $n\times n$ matrices with coefficients…
The powers of matrices with Stirling number-coefficients are investigated. It is revealed that the elements of these matrices have a number of properties of the ordinary Stirling numbers. Moreover, "higher order" Bell, Fubini and Eulerian…
The aim of this paper is to investigate some properties, recurrence relations and identities involving degenerate Stirling numbers of both kinds associated with degenerate hyperharmonic numbers and also with degenerate Bernolli, degenerate…
We study an extension of the Distributive Full Non-associative Lambek Calculus with iterative division operators. The iterative operators can be seen as representing iterative composition of linguistic resources or of actions. A complete…
Recently, in order to mix algebraic and logic styles of specification in a uniform framework, the notion of a logic labelled transition system (Logic LTS or LLTS for short) has been introduced and explored. A variety of constructors over…
Several combinatorial identities are presented, involving Stirling functions of the second kind with a complex variable. The identities involve also Stirling numbers of the first kind, binomial coefficients and harmonic numbers.
The ordinary factorial may be written in terms of the Stirling numbers of the second kind as shown by Quaintance and Gould and the odd double factorial in terms of the Stirling numbers of the first kind as shown by Callan. During the…
We interpret tensors on a smooth manifold M as differential forms over a graded commutative algebra called the algebra of iterated differential forms over M. This allows us to put standard tensor calculus in a new differentially closed…
Twisted modules over vertex algebras formalize the relations among twisted vertex operators and have applications to conformal field theory and representation theory. A recent generalization, called twisted logarithmic module, involves the…
We formulate several polynomial identities. One side of these identities has a nice simple form. Whereas the other has a form of a polynomial whose coefficients contain binomial coefficients double factorials or (and) rising factorials. The…
The study of degenerate versions of certain special polynomials and numbers, which was initiated by Carlitz's work on degenerate Euler and degenerate Bernoulli polynomials, has recently seen renewed interest among mathematicians. The aim of…
Linear Logic refines Intuitionnistic Logic by taking into account the resources used during the proof and program computation. In the past decades, it has been extended to various frameworks. The most famous are indexed linear logics which…