Proving Two Conjectural Series for and Discovering More Series for
J Ablinger�- International Conference on Mathematical Aspects of�…, 2019 - Springer
J Ablinger
International Conference on Mathematical Aspects of Computer and Information�…, 2019•SpringerWe give a proof of two identities involving binomial sums at infinity conjectured by Zhi-Wei
Sun. In order to prove these identities, we use a recently presented method ie, we view the
series as specializations of generating series and derive integral representations. Using
substitutions, we express these integral representations in terms of cyclotomic harmonic
polylogarithms. Finally, by applying known relations among the cyclotomic harmonic
polylogarithms, we derive the results. These methods are implemented in the computer�…
Sun. In order to prove these identities, we use a recently presented method ie, we view the
series as specializations of generating series and derive integral representations. Using
substitutions, we express these integral representations in terms of cyclotomic harmonic
polylogarithms. Finally, by applying known relations among the cyclotomic harmonic
polylogarithms, we derive the results. These methods are implemented in the computer�…
Abstract
We give a proof of two identities involving binomial sums at infinity conjectured by Zhi-Wei 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 integral representations. Using substitutions, we express these integral representations in terms of cyclotomic harmonic polylogarithms. Finally, by applying known relations among the cyclotomic harmonic polylogarithms, we derive the results. These methods are implemented in the computer algebra package HarmonicSums.
Springer