Related papers: Mahler measure and the WZ algorithm
We prove that under certain explicit conditions, the Mahler measure of a three-variable polynomial can be expressed in terms of elliptic curve $L$-values and Bloch-Wigner dilogarithmmic values, conditionally on Beilinson's conjecture. In…
The Mahler measures of some n-variable polynomial families are given in terms of special values of the Riemann zeta function and a Dirichlet L-series, generalizing the results of \cite{L}. The technique introduced in this work also…
We continue to investigate the relation between the Mahler measure of certain two variable polynomials, the values of the Bloch--Wigner dilogarithm $D(z)$ and the values $\zeta_F(2)$ of zeta functions of number fields. Specifically, we…
In this work we apply the techniques that were developed in [Lalin: An algebraic integration for Mahler measure] in order to study several examples of multivariable polynomials whose Mahler measure is expressed in terms of special values of…
In this article we develop a new method for relating Mahler measures of three-variable polynomials that define elliptic modular surfaces to L-values of modular forms. Using an idea of Deninger, we express the Mahler measure as a Deligne…
The Mahler measure of a polynomial $P$ in $n$ variables is defined as the mean of $\log|P|$ over the $n$-dimensional torus. For certain polynomials with integer coefficients in two variables the Mahler measure is known to be related to…
We establish a functional identity for Mahler measures of the two-parametric family $P_{a,c}(x,y)=a(x+1/x)+y+1/y+c$. Our result extends an identity proven in a paper of Lal\'{i}n, Zudilin and Samart. As a by-product, we obtain evaluations…
We prove several identities relating three-variable Mahler measures to integrals of inverse trigonometric functions. After deriving closed forms for most of these integrals, we obtain ten explicit formulas for three-variable Mahler…
We combine the powerful method of Wilf-Zeilberger pairs with systematic theory of multiple zeta values to prove a large number of series identities due to Z.W. Sun, many of them have been long standing conjectures.
We present an exact formula for the Mahler measure of an infinite family of polynomials with arbitrarily many variables. The formula is obtained by manipulating the integral defining the Mahler measure using certain transformations,…
We study the Mahler measures of certain families of Laurent polynomials in two and three variables. Each of the known Mahler measure formulas for these families involves $L$-values of at most one newform and/or at most one quadratic…
Recently, Kam Cheong Au discovered a powerful methodology of finding new Wilf-Zeilberger (WZ) pairs. He calls it WZ seeds and gives numerous examples of applications to proving longstanding conjectural identities for reciprocal powers of…
We solve a Lehmer-type question about the Mahler measure of integer-valued polynomials.
We present a computer algebra approach to proving identities on Bernoulli polynomials and Euler polynomials by using the extended Zeilberger's algorithm given by Chen, Hou and Mu. The key idea is to use the contour integral definitions of…
Following suggestions of T. H. Koornwinder, we give a new proof of Kummer's theorem involving Zeilberger's algorithm, the WZ method and asymptotic estimates. In the first section, we recall a classical proof given by L. J. Slater. The…
We consider a variation of the Mahler measure where the defining integral is performed over a more general torus. We focus our investigation on two particular polynomials related to certain elliptic curve $E$ and we establish new formulas…
In this paper we prove that the Mahler measures of the Laurent polynomials $(x+x^{-1})(y+y^{-1})(z+z^{-1})+k$, $(x+x^{-1})^2(y+y^{-1})^2(1+z)^3z^{-2}-k$, and $x^4+y^4+z^4+1+k^{1/4}xyz$, for various values of $k$, are of the form $r_1…
Automating formal proofs of combinatorial identities is challenging for LLM-based provers, as long-horizon proof planning is required and unconstrained search quickly explodes. Symbolic methods such as the Wilf-Zeilberger (WZ) method can…
We consider a generalization of the Mahler measure of a multivariable polynomial $P$ as the integral of $\log^k|P|$ in the unit torus, as opposed to the classical definition with the integral of $\log|P|$. A zeta Mahler measure, involving…
We use Zeilberger's algorithm for proving some identities of Ramanujan-type via $_2F_1$ evaluations.