相关论文: Rational Interpolation and Basic Hypergeometric Se…
This work deals with the notion of Newton complementary duality as raised originally in the work of the second author and B. Costa. A conceptual revision of the main steps of the notion is accomplished which then leads to a vast…
We study q-integral representations of the q-gamma and the q-beta functions. This study leads to a very interesting q-constant. As an application of these integral representations, we obtain a simple conceptual proof of a family of…
A family of congruences interpolating between those of Wilson and Giuga is constructed. Several elementary results are established, in order to present a possible approach to establishing Giuga's conjecture.
Recent results of Zlobin and Cresson-Fischler-Rivoal allow one to decompose any suitable $p$-uple series of hypergeometric type into a linear combination (over the rationals) of multiple zeta values of depth at most $p$; in some cases, only…
We extend the linear {\pi}-calculus with composite regular types in such a way that data containing linear values can be shared among several processes, if there is no overlapping access to such values. We describe a type reconstruction…
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…
Craig's interpolation theorem (Craig 1957) is an important theorem known for propositional logic and first-order logic. It says that if a logical formula $\beta$ logically follows from a formula $\alpha$, then there is a formula $\gamma$,…
We look at two classical examples in the theory of numerical analysis, namely the Runge example for interpolation and Wilkinson's example (actually two examples) for rootfinding. We use the modern theory of backward error analysis and…
We give here some precisions and improvements about the validity of the explicit reconstruction of any holomorphic function on a ball of $\mathbb{C}^2$ from its restrictions on a family of complex lines. Such validity depends on the mutual…
In this paper we consider Modal Team Logic, a generalization of Classical Modal Logic in which it is possible to describe dependence phenomena between data. We prove that most known fragment of Full Modal Team Logic allow the elimination of…
Recently, Andrews and EI Bachraoui discovered several companions for some famous $q$-series formulas, and derived some new identities involving partitions and overpartitions with distinct parts. In this paper, we shall refine their results…
The Cayley-Hamilton-Newton theorem - which underlies the Newton identities and the Cayley-Hamilton identity - is reviewed, first, for the classical matrices with commuting entries, second, for two q-matrix algebras, the RTT-algebra and the…
We present a method for proving q-series identities by combinatorial telescoping, in the sense that one can transform a bijection or a classification of combinatorial objects into a telescoping relation. We shall illustrate this method by…
Uniform interpolation is a strengthening of interpolation that holds for certain propositional logics. The starting point of this chapter is a theorem of A. Pitts, which shows that uniform interpolation holds for intuitionistic…
We evaluate in closed form three special classes of alternating zeta series with one and two additional parameters. Two classes are expressed as linear combinations of polylogarithms while for the third class we prove an expression…
We present a simple method based on the stability and duality of the properties of sampling and interpolation, which allows one to substantially simplify the proofs of some classical results.
Inspired by a recent work of M. Nakasuji, O. Phuksuwan and Y. Yamasaki we combine interpolated multiple zeta values and Schur multiple zeta values into one object, which we call interpolated Schur multiple zeta values. Our main result will…
We develop and study the generalization of rational Schur algebras to the super setting. Similar to the classical case, this provides a new method for studying rational supermodules of the general linear supergroup $GL(m|n)$. Furthermore,…
The main purpose of this paper is to construct not only generating functions of the new approach Genocchi type numbers and polynomials but also interpolation function of these numbers and polynomials which are related to a, b, c arbitrary…
Considering the L-function of exponential sums associated to a polynomial over a finite field F_q, Deligne proved that a reciprocal root's p-adic order is a rational number in the interval [0, 1]. Based on hypergeometric theory, in this…