Related papers: Verification of Binomial theorem and Chu-Vandermon…
In this work we prove that a family of explicit numerical finite-difference methods is convergent when applied to a nonlinear Volterra equation with a power-type nonlinearity. In that case the kernel is not of Lipschitz type, therefore the…
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…
In this article, we use Lindstr\"om Gessel Viennot Lemma to give a short, combinatorial, visualizable proof of the identity of Schur polynomials -- the sum of monomials of Young tableaux equals to the quotient of determinants. As a…
In this paper, we generalized the known Laplace-transform final-value theorem. From our conclusion, one can deduce the existing results in [1, 3, 12]. By using final value theorem, we give a new proof that Caputo fractional differential…
In this paper we prove the Dynamical Mordell-Lang Conjecture for polynomial endomorphisms of the affine plane.
This paper gives a bijective proof of Andrews' refinement of the Alladi-Schur theorem. Moreover, it demonstrates that the bijective framework introduced here can be used to reproduce and provide a bijective account of Andrews' recursive…
In this paper, we introduce two primality tests based on new divisibility properties of binomial coefficients. These new properties were enunciated and proved in previous work. We also study two similar tests that can be obtained from…
Permutation polynomials have many applications in finite fields theory, coding theory, cryptography, combinatorial design, communication theory, and so on. Permutation binomials of the form $x^{r}(x^{q-1}+a)$ over $\mathbb{F}_{q^2}$ have…
We determine necessary and sufficient conditions for unicritical polynomials to be dynamically irreducible over finite fields. This result extends the results of Boston-Jones and Hamblen-Jones-Madhu regarding the dynamical irreducibility of…
In this paper, we prove a finite basis theorem for radical well-mixed difference ideals generated by binomials. As a consequence, every strictly ascending chain of radical well-mixed difference ideals generated by binomials in a difference…
In this paper, taking the question of Zhang and L\"{u} into the background, we present one theorem which will improve and extend some recent results related to the Br\"{u}ck Conjecture.
This paper gives a detailed account of the relationship between (a variant of) the call-by-value lambda calculus and linear logic proof nets. The presentation is carefully tuned in order to realize a strong bisimulation between the two…
We present an elementary combinatorial proof of the celebrated Friendship theorem. The proof involves looking at independent sets and constructing a bound on their size which forces a contradiction.
We prove a function field analogue of a conjecture of Schinzel on the factorization of univariate polynomials over the rationals. We derive from it a finiteness theorem for the irreducible factorizations of the bivariate Laurent polynomials…
We prove a Chernoff-type upper variance bound for the multinomial and the negative multinomial distribution. An application is also given.
We investigate a variation of $q$-Wolstenholme's theorem, which extends the $q$-analogue of Wolstenholme's theorem due to Shi and Pan [Amer. Math. Monthly 114 (2007), 529--531]. The proof makes use of the Ramanujan sum and higher order…
This is an expository note discussing how the Erdos--Ramanujan proof of Bertrand's postulate may be adapted to show the existence of finite fields.
In the paper a theorem of Piccard's type is proved and, consequently, the continuity of $\mathcal{D}$-measurable polynomial functions of $n$-th order as well as $\mathcal{D}$-measurable $n$-convex functions is shown. The paper refers to 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…
In this paper, we consider the matrix polynomial obtained by using bi-periodic Fibonacci matrix polynomial. Then, we give some properties and binomial transforms of the new matrix polynomials.