Related papers: New formulas for Stirling-like numbers and Dobinsk…
Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as…
The main purpose of this paper is to provide a novel approach to deriving formulas for the p-adic q-integral including the Volkenborn integral and the p-adic fermionic integral. By applying integral equations and these integral formulas to…
The development of the theories of the second-order Eulerian polynomials began with the works of Buckholtz and Carlitz in their studies of an asymptotic expansion. Gessel-Stanley introduced Stirling permutations and presented combinatorial…
We introduce a new array of type $D$ Eulerian numbers, different from that studied by Brenti, Chow and Hyatt. We find in particular the recurrence relation, Worpitzky formula and the generating function. We also find the probability…
In this paper we prove some transformation formulae for congruences modulo a prime and deduce some congruences for Domb numbers and Almkvist-Zudilin numbers. We also pose some conjectures on congruences modulo prime powers.
The coefficient of x^{-1} of a formal Laurent series f(x) is called the formal residue of f(x). Many combinatorial numbers can be represented by the formal residues of hypergeometric terms. With these representations and the extended…
Natural numbers which are nontrivial multiples of some permutation of their base-$b$ digit representations are called permutiples. Specific cases include numbers which are multiples of cyclic permutations (cyclic numbers) and reversals of…
We develop new closed form representations of sums of (n + {\alpha})th shifted harmonic numbers and reciprocal binomial coefficients in terms of {\alpha}th shifted harmonic numbers. Some interesting new consequences and illustrative…
A type of fractional derivative, referred to as \alpha-derivative, is studied. The \alpha-derivative of fractional type obeys Leibnitz rule. Based on the definition of \alpha-derivative the operations of analysis and differential geometry…
Recursive formulas extending some known $_{2}F_{1}$ and $_{3}F_{2}$ summation formulas by using contiguous relations have been obtained. On the one hand, these recursive equations are quite suitable for symbolic and numerical evaluation by…
The author has constructed multiple analogues of several families of combinatorial numbers in a recent article, including the bracket symbol, and the Stirling numbers of the first and second kind. In the present paper, a multiple analogue…
We give a more detailed description of the new system of Pl\"ucker-like equations from [4], discuss how it relates to the usual Pl\"ucker equations, and correct a mistake in that article.
Up-down permutations are counted by tangent resp. secant numbers. Considering words instead, where the letters are produced by independent geometric distributions, there are several ways of introducing this concept; in the limit they all…
This work deals with a new generalization of $r$-Stirling numbers using $l$-tuple of permutations and partitions called $(l,r)$-Stirling numbers of both kinds. We study various properties of these numbers using combinatorial interpretations…
In the previous three papers in this series, [WKO1]-[WKO3] (arXiv:1405.1956, arXiv:1405.1955, and to appear), Z. Dancso and I studied a certain theory of "homomorphic expansions" of "w-knotted objects", a certain class of knotted objects in…
We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality,…
The first aim of this paper is to construct new generating functions for the generalized {\lambda}-Stirling type numbers of the second kind, generalized array type polynomials and generalized Eulerian type polynomials and numbers, attached…
We present a survey on recent results about Stirling's formula. More exactly, we reffer to a method using a form of Cesaro-Stolz lemma firstly introduced in [C. Mortici Product approximations via asymptotic integration Amer. Math. Monthly…
The function $y=\Phi_\alpha(x)$, the solution of $y^\alpha e^y=x$ for $x$ and $y$ large enough, has a series expansion in terms of $\ln x$ and $\ln\ln x$, with coefficients given in terms of Stirling cycle numbers. It is shown that this…
The main objective of this paper is the following two results. (1) There exists a computable bi-orderable group that does not have a computable bi-ordering; (2) There exists a bi-orderable, two-generated recursively presented solvable group…