相关论文: Rational Interpolation and Basic Hypergeometric Se…

Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality. The method produces interpolants from colored congruence…

The main aim of the present work is to give some interesting the $q$-analogues of various $q$-recurrence relations, $q$-recursion formulas, $q$-partial derivative relations, $q$-integral representations, transformation and summation…

We introduce several new identities combining basic hypergeometric sums and integrals. Such identities appear in the context of superconformal index computations for three-dimensional supersymmetric dual theories. We give both analytic…

By using contiguous relations for basic hypergeometric series, we give simple proofs of Bailey's $_4\phi_3$ summation, Carlitz's $_5\phi_4$ summation, Sears' $_3\phi_2$ to $_5\phi_4$ transformation, Sears' ${}_4\phi_3$ transformations,…

Following the method of combinatorial telescoping for alternating sums given by Chen, Hou and Mu, we present a combinatorial telescoping approach to partition identities on sums of positive terms. By giving a classification of the…

Employing a quadratic transformation formula of Rahman and the method of `creative microscoping' (introduced by the author and Zudilin in 2019), we provide some new $q$-supercongruences for truncated basic hypergeometric series. In…

Which choices of truth tables and consequence relations for two logics $\mathsf{L}_1$ and $\mathsf{L}_2$ ensure the satisfaction of the following split interpolation property: If two formulas $\phi$ and $\psi$ share at least one…

We prove that a Poisson-Newton formula, in a broad sense, is associated to each Dirichlet series with a meromorphic extension to the whole complex plane of finite order. These formulas simultaneously generalize the classical Poisson formula…

In this paper, we extend an expansion formula of Liu to multiple basic hypergeometric series over the root system $A_{n}.$ The usefulness of Liu's expansion formula in special functions and number theory has been shown by Liu and many…

We establish a determinant formula for the bilinear form associated with the elliptic hypergeometric integrals of type $BC_n$ by studying the structure of $q$-difference equations to be satisfied by them. The determinant formula is proved…

We prove that there are continuum-many axiomatic extensions of the full Lambek calculus with exchange that have the deductive interpolation property. Further, we extend this result to both classical and intuitionistic linear logic as well…

Interpolated multiple zeta values can be regarded as interpolation polynomials of multiple zeta values and multiple zeta-star values. In this paper, we give some algebraic relations of interpolated multiple zeta values, such as the…

In this article, using key tools including Zhou valuations, Tian functions and a convergence result for relative types, we establish necessary and sufficient conditions for the existence of valuative interpolations on the rings of germs of…

We consider interpolation of univariate functions on arbitrary sets of nodes by Gaussian radial basis functions or by exponential functions. We derive closed-form expressions for the interpolation error based on the…

In this paper, a q-analogue of r-Whitney-Lah numbers, also known as (q,r)-Whitney-Lah number, denoted by $L_{m,r}[n,k]_q$ is defined using the triangular recurrence relation. Several fundamental properties for the q-analogue are established…

The main result of this paper is a new version of Newton-Hensel lifting that relates to interpolation questions. It allows one to lift polynomials in $Z[x]$ from information modulo a prime number $p\ne 2$ to a power $p^k$ for any $k$, and…

We give multidimensional generalizations of several transformation formulae for basic hypergeometric series of a specific type. Most of the upper parameters of the series differ multiplicatively from corresponding lower parameters by a…

We investigate bicomplex analogues of fundamental notions from classical algebraic number theory. In particular, we show that the primitive element theorem admits a natural generalization to bicomplex extensions, giving rise to two distinct…

In this paper, by introducing new matrix operations and using a specific inverse relation, we establish the dual forms of the orthogonality relations for some well-known discrete and continuous $q$-orthogonal polynomials from the…

Multilinear interpolation is a powerful tool used in obtaining strong type boundedness for a variety of operators assuming only a finite set of restricted weak-type estimates. A typical situation occurs when one knows that a multilinear…