Related papers: q-Apery Irrationality Proofs by q-WZ Pairs
In this study we compare Ces\`{a}ro and Euler weighted mean methods of summability of sequences of fuzzy numbers with Abel and Borel power series methods of summability of sequences of fuzzy numbers. Also some results dealing with series of…
In this paper, we will give another proof of Zhi-Wei Sun's three conjectures on Ap\'{e}ry-like sums involving harmonic numbers by proving some identities among special values of multiple polylogarithms.
We present a geometric way of describing the irrationality of a number using the area of a circular sector $A(r)$. We establish a connection between this and the continued fraction expansion of the number, and prove bounds for $A(r)$ as…
A failed attempt to prove the universality of Lerch zeta function $L(\lambda,\alpha,s)$ when $\lambda$ is irrational and $\alpha$ is rational, and for any $\lambda$ when $\alpha$ is irrational algebraic.
By solving an infinite nonlinear system of $q$-difference equations one constructs a chain of $q$-difference operators. The eigenproblems for the chain are solved and some applications, including the one related to $q$-Hahn orthogonal…
We prove some "divergent" Ramanujan-type series for $1/\pi$ and $1/\pi^2$ applying a Barnes-integrals strategy of the WZ-method.
We prove a new linear relation for a q-analogue of multiple zeta values. It is a q-extension of the restricted sum formula obtained by Eie, Liaw and Ong for multiple zeta values.
It is argued that the proof of Cohen [Phys. Rev. A 51, 4373 (1995)] which shows that an application of the Aharonov-Bergmann-Lebowitz (ABL) rule leads to contradiction with predictions of quantum theory is erroneous. A generalization of the…
Using double counting, we prove Delsarte inequalities for $q$-ary codes and their improvements. Applying the same technique to $q$-ary constant-weight codes, we obtain new inequalities for $q$-ary constant-weight codes.
The Ap\'ery numbers of Fano varieties are asymptotic invariants of their quantum differential equations. In this paper, we initiate a program to exhibit these invariants as (mirror to) limiting extension classes of higher cycles on the…
We use Zeilberger's algorithm for proving some identities of Ramanujan-type via $_2F_1$ evaluations.
We give a proof of two identities involving binomial sums at infinity conjectured by Z-W Sun. In order to prove these identities, we use a recently presented method i.e. we view the series as specializations of generating series and derive…
By using the Calkin-Wilf tree, we prove the irrationality of numbers of the form $\alpha=\frac{\sqrt{N}+p}{q}$ where $N$ is a positive integer which is not a perfect square, $p$ is a rational integer such that $p^2<N$ and $q$ is a positive…
We present a proof-theoretical study of the interpretability logic IL, providing a wellfounded and a non-wellfounded sequent calculus for IL. The non-wellfounded calculus is used to establish a cut elimination argument for both calculi. In…
Generalizing a geometric idea due to J. Sondow, we give a geometric proof for the Cantor's Theorem. Moreover, it is given an irrationality measure for some Cantor series.
We describe a general method to determine the Apery limits of a differential equation that have a modular-function origin. As a by-product of our analysis, we discover a family of identities involving the special values of L-functions…
Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems.…
For any prime $p$ and $\varepsilon>0$ we prove that for any sufficiently large positive odd integer $s$ at least $(c_p-\varepsilon) \sqrt{\frac{s}{\log s}}$ of the $p$-adic zeta values $\zeta_p(3),\zeta_p(5),\dots,\zeta_p(s)$ are…
A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative…
This article examines two approaches to verification, one based on using a logic for expressing properties of a system, and one based on showing the system equivalent to a simpler system that obviously has whatever property is of interest.…