Related papers: B\'{e}zout Identities Associated to a Finite Seque…
We obtain identities involving symmetric and doubly symmetric polynomials. These identities provide a way of handling expressions appearing in the Atiyah-Bott-Berline-Vergne formula for Grassmannians. As corollaries, we obtain formulas for…
Spectral decomposition of dynamical equations using curl-eigenfunctions has been extensively used in fluid and plasma dynamics problems using their orthogonality and completeness properties for both linear and non-linear cases. Coefficients…
Motivated by the substantial development of the special functions, we contribute to establish some rigorous results on the general series identities with bounded sequences and hypergeometric functions with different arguments, which are…
Certain famous combinatorial sequences, such as the Catalan numbers and the Motzkin numbers, when taken modulo a prime power, can be computed by finite automata. Many theorems about such sequences can therefore be proved using Walnut, which…
We give a combinatorial characterization of the identities holding in the semiring of all upper triangular Boolean $n\times n$-matrices and apply the characterization to computational complexity of identity checking, finite axiomatizability…
We present a short, purely algebraic proof of the Symmetric Bessmertny\u{i} Realization Theorem in the characteristic $2$ case recently proved in [EOW26]. Symmetric Bessmertny\u{i} realizations are Schur complements of affine linear…
Utilizing spectral residues of parameterized, recursively defined sequences, we develop a general method for generating identities of composition sums. Specific results are obtained by focusing on coefficient sequences of solutions of first…
Identities compactly describe properties of a mathematical expression and can be leveraged into faster and more accurate function implementations. However, identities must currently be discovered manually, which requires a lot of expertise.…
Using an elementary approach involving the Euler Beta function and the binomial theorem, we derive two polynomial identities; one of which is a generalization of a known polynomial identity. Two well-known combinatorial identities, namely…
We study the dilogarithm identities from algebraic, analytic, asymptotic, $K$-theoretic, combinatorial and representation-theoretic points of view. We prove that a lot of dilogarithm identities (hypothetically all !) can be obtained by…
In this study we consider domains that are composed of an infinite sequence of self-similar rings and corresponding finite element spaces over those domains. The rings are parameterized using piecewise polynomial or tensor-product B-spline…
In this work we extend our study on a link between automaticity and certain algebraic power series over finite fields. Our starting point is a family of sequences in a finite field of characteristic $2$, recently introduced by the first…
We show that polynomials associated with automatic sequences satisfy a certain recurrence relation when evaluated at a root of unity, which generalizes a result of Brillhart, Lomont and Morton on the Rudin--Shapiro polynomials. We study the…
Motivated by the telescoping proofs of two identities of Andrews and Warnaar, we find that infinite q-shifted factorials can be incorporated into the implementation of the q-Zeilberger algorithm in the approach of Chen, Hou and Mu to prove…
Based on weighted noncrossing partitions of type B, we obtain type B analogues of Coker's identities on the Narayana polynomials. A parity reversing involution is given for the alternating sum of Narayana numbers of type B. Moreover, we…
We introduce dilogarithm identities through a beta integral-based technique that we apply to provide analytic proofs of previously conjectured dilogarithm relations, solving open problems given by both Bytsko and Campbell, and that we…
In a recent paper, Yu. A. Brychkov derived a series of identities for multiples sums of special functions, using generating functions. Among these identities, a particularly interesting one involves multiples sums of Bessel $I_{\nu}$…
This paper argues that automated proofs of identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. For two analogues of Saalsch\"utz' summation formula in the…
We present several identities with a form of polynomials or rational functions that involve Pochhammer and q-Pochhammer symbols and q-binomials (i.e. Gauss polynomials). All these identities were obtained by some analytical methods based on…
Andrews and Bressoud, Alladi and Gordon, and others, have proven, in a number of papers, that the coefficients in various arithmetic progressions in the series expansions of certain infinite $q$-products vanish. In the present paper it is…