Related papers: Verification of Binomial theorem and Chu-Vandermon…

In this paper we prove two conjectures stated by Chao-Ping Chen in [Int. Trans. Spec. Funct. 23:12 (2012), 865--873], using a method for proving inequalities of mixed trigonometric polynomial functions.

We present a proof of a combinatorial conjecture from the second author's Ph.D. thesis. The proof relies on binomial and multinomial sums identities. We also discuss the relevance of the conjecture in the context of PAC-Bayesian machine…

In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper details some of the steps of this transformation.

We give a new proof of Chen-Lin result with Li-Zhang method.

In this paper, we prove both of the Titchmarsh theorems associated with Two-Sided Quaternionic Fourier Transform and we conclude about Short-Time Two-Sided Quaternionic Fourier Transform.

In this paper we shall evaluate two alternating sums of binomial coefficients by a combinatorial argument. Moreover, by combining the same combinatorial idea with partition theoretic techniques, we provide $q$-analogues involving the…

We provide elementary proof of several congruences involving single sum and multisums of binomial coefficients.

A new recursion in only one variable allows very simple verifications of Bressoud's polynomial identities, which lead to the Rogers-Ramanujan identities. This approach might be compared with an earlier approach due to Chapman. Applying the…

Given any two sequences of complex numbers, we establish simple relations between their binomial convolution and the binomial convolution of their individual binomial transforms. We employ these relations to derive new identities involving…

We prove two single-parameter q-supercongruences which were recently conjectured by Guo, and establish their further extensions with one more parameter. Crucial ingredients in the proof are the terminating form of q-binomial theorem and a…

We prove an equivariant localized and norm-controlled version of the Pimsner-Popa-Voiculescu theorem. As an application, we deduce a proof of the Paschke-Higson duality for transformation groupoids.

In this note, we exhibit a method to prove the Baum-Connes conjecture (with coefficients) for extensions with finite quotients of certain groups which already satisfy the Baum-Connes conjecture. Interesting examples to which this method…

A strong confluence result for Q*, a quantum lambda-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. The technique used in the confluence proof is syntactical but…

We study two modifications of the Post Correspondence Problem (PCP), namely 1) the bi-infinite version, where it is asked whether there exists a bi-infinite word such that two given morphisms agree on it, and 2) the conjugate version, where…

We prove strong convergence of a semi-discrete finite difference method for the KdV and modified KdV equations. We extend existing results to non-smooth data (namely, in $L^2$), without size restrictions. Our approach uses a fourth order…

In this paper we generalize the Ritt-Kolchin method of characteristic sets and the classical Gr\"obner basis technique to prove the existence and obtain methods of computation of multivariate difference-differential dimension polynomials…

We show that the variation of the topology at infinity of a two-variable polynomial function is localisable at a finite number of "atypical points" at infinity. We construct an effective algorithm with low complexity in order to detect…

We prove that one cannot algorithmically decide whether a finitely presented $\mathbb{Z}$-extension admits a finitely generated base group, and we use this fact to prove the undecidability of the BNS invariant. Furthermore, we show the…

Transformation formulas for four-parameter refinements of the q-trinomial coefficients are proven. The iterative nature of these transformations allows for the easy derivation of several infinite series of q-trinomial identities, and can be…

We prove that a random bivariate polynomial with plus minus 1 coefficients is irreducible with high probability.