Discovering and Proving Infinite Pochhammer Sum Identities

References

• [Ablinger 17] J. Ablinger. “Discovering and Proving Infinite Binomial Sums Identities.” J. Exp. Math. 26:1 (2017), 62–71. arXiv: 1507.01703
   Web of Science ®Google Scholar
• [Ablinger 17a] J. Ablinger. “Computing the Inverse Mellin Transform of Holonomic Sequences using Kovacic’s Algorithm.” In PoS RADCOR2017, 069, 2017. arXiv: 1801.01039
   Google Scholar
• [Ablinger 16] J. Ablinger. “Inverse Mellin Transform of Holonomic Sequences.” PoS LL. 067 (2016), 2016. arXiv: 1606.02845
   Google Scholar
• [Ablinger 14] J. Ablinger. “The Package HarmonicSums: Computer Algebra and Analytic Aspects of Nested Sums.” In Loops and Legs in Quantum Field Theory – LL, 2014. arXiv: 1407.6180
   Google Scholar
• [Ablinger and Blümlein 13] J. Ablinger, and J. Blümlein. “Harmonic Sums, Polylogarithms, Special Numbers, and their Generalizations.” In Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts & Monographs in Symbolic Computation, edited by C. Schneider and J. Blümlein, pp. 132. Wien: Springer, 2013. arXiv: 1304.7071
   Google Scholar
• [Ablinger et al. 13] J. Ablinger, J. Blümlein, and C. Schneider. “Analytic and Algorithmic Aspects of Generalized Harmonic Sums and Polylogarithms.” J. Math. Phys. 54:8 (2013), 082301. arXiv: 1302.0378
   Web of Science ®Google Scholar
• [Ablinger et al. 14] J. Ablinger, J. Blümlein, and C. Schneider. “Generalized Harmonic, Cyclotomic, and Binomial Sums, their Polylogarithms and Special Numbers.” J. Phys. Conf. Ser. 523:1 (2014), 012060. arXiv: 1310.5645
   Google Scholar
• [Ablinger 2013] J. Ablinger. “Computer Algebra Algorithms for Special Functions in Particle Physics.” PhD diss., Johannes Kepler University Linz, 2013. arXiv: 1310.0687.
   Google Scholar
• [Ablinger et al. 14a] J. Ablinger, J. Blümlein, C. G. Raab, and C. Schneider. “Iterated Binomial Sums and their Associated Iterated Integrals.” J. Math. Phys. Comput. 55:11 (2014), 1–57. arXiv: 1407.1822
   Google Scholar
• [Ablinger et al. 11] J. Ablinger, J. Blümlein, and C. Schneider. “Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials.” J. Math. Phys. 52:10 (2011), 102301. arXiv: 1105.6063
   Web of Science ®Google Scholar
• [Abramov and Petkovšek 94] S. A. Abramov and M. Petkovšek. “D’Alembertian Solutions of Linear Differential and Difference Equations.” In proceedings of ISSAC’94, ACM Press, 1994.
   Google Scholar
• [Baker 66] A. Baker. “Linear Forms in the Logarithms of Algebraic Numbers.” I. Mathematika. 13:2 (1966), 204–216. D60 014018,
   Google Scholar
• [Blümlein and Kurth 99] J. Blümlein and S. Kurth. “Harmonic Sums and Mellin Transforms up to Two-loop Order.” Phys. Rev D 60:1 (1999), 014018. arXiv: hep-ph/9810241v2
   Web of Science ®Google Scholar
• [Blümlein 00] J. Blümlein. “Analytic Continuation of Mellin Transforms up to Two-loop Order.” Comput. Phys. Commun. 133:1 (2000), 76–104. arXiv: 0003100
   Web of Science ®Google Scholar
• [Blümlein et al. 10] J. Blümlein, D. J. Broadhurst, and J. A. M. Vermaseren. “The Multiple Zeta Value Data Mine.” Comput. Phys. Commun. 181:3 (2010), 582–625. arXiv: math-ph/0907.2557
   Web of Science ®Google Scholar
• [Borwein and Borwein 87] J. M. Borwein and P. B. Borwein. Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity. New York: Wiley, 1987. Reprinted 1998.
   Google Scholar
• [Borwein et al. 01] J. M. Borwein, D. J. Broadhurst, and J. Kamnitzer. “Central Binomial Sums, Multiple Clausen Values, and Zeta Values.” Exp. Math. 10:1 (2001), 25–34. arXiv: hep-th/0004153
   Web of Science ®Google Scholar
• [Borwein and Lisoněk 00] J. M. Borwein and P. Lisoněk. “Applications of Integer Relation Algorithms.” Discrete Math. 217:1–3 (2000), 65–82.
   Web of Science ®Google Scholar
• [Bronstein 92] M. Bronstein. “Linear Ordinary Differential Equations: Breaking through the Order 2 Barrier.” In proceedings of ISSAC’92, ACM Press, 1992.
   Google Scholar
• [Davydychev and Kalmykov 01] A. I. Davydychev and M. Y. Kalmykov. “New Results for the Epsilon-expansion of Certain One-, Two- and Three-loop Feynman Diagrams.” Nucl. Phys. B. 605:1–3 (2001), 266–318. arXiv: hep-th/0012189
   Web of Science ®Google Scholar
• [Davydychev and Kalmykov 04] A. I. Davydychev and M. Y. Kalmykov. “Massive Feynman Diagrams and Inverse Binomial Sums.” Nucl. Phys. B. 699:1–2 (2004), 3–64. arXiv: hep-th/0303162
   Web of Science ®Google Scholar
• [Fleischer et al. 99] J. Fleischer, A. V. Kotikov, and O. L. Veretin. “Analytic Two Loop Results for Selfenergy Type and Vertex Type Diagrams with One Nonzero Mass.” Nucl. Phys. B. 547:1–2 (1999), 343–374. arXiv: hep-ph/9808242
   Web of Science ®Google Scholar
• [Jegerlehner et al. 03] F. Jegerlehner, M. Y. Kalmykov, and O. Veretin. “MS Versus Pole MasseSs of Gauge Bosons II: Two-Loop Electroweak Fermion Corrections.” Nucl. Phys. B. 658:1-2 (2003), 49–112. arXiv: hep-ph/0212319
   Web of Science ®Google Scholar
• [Kalmykov and Veretin 00] M. Y. Kalmykov and O. Veretin. “Single Scale Diagrams and Multiple Binomial Sums.” Phys. Lett. B. 483:1–3 (2000), 315–323. arXiv: hep-th/0004010
   Web of Science ®Google Scholar
• [Kalmykov et al. 07] M. Y. Kalmykov, B. F. L. Ward, and S. A. Yost. “Multiple (Inverse) Binomial Sums of Arbitrary Weight and Depth and the All-order ε-expansion of Generalized Hypergeometric Functions with One Half-integer Value of Parameter.” J. High Energy Phys. 2007:10 (2007), 048. arXiv: 0707.3654
   Google Scholar
• [Kauers and Paule 11] M. Kauers and P. Paule. The Concrete Tetrahedron, Text and Monographs in Symbolic Computation. Wien: Springer, 2011.
   Google Scholar
• [Kovacic 86] J. J. Kovacic. “An Algorithm for Solving Second Order Linear Homogeneous Differential Equations.” J. Symbolic Comput. 2:1 (1986), 3–43.
   Web of Science ®Google Scholar
• [Lehmer 85] D. H. Lehmer. “Interesting Series Involving the Central Binomial Coefficient.” Amer. Math. Monthly 92:7 (1985), 449–457.
   Web of Science ®Google Scholar
• [Liu and Wang 19] H. Liu and W. Wang. “Gauss’s Theorem and Harmonic Number Summation Formulae with Certain Mathematical Constants.” J. Difference Equations Appl. 25:3 (2019), 1–18. doi: https://doi.org/10.1080/10236198.2019.1572127
   Google Scholar
• [Ogreid and Osland 98] O. M. Ogreid and P. Osland. “Summing One-dimensional and Two-dimensional Series related to the Euler Series.” J. Comput. Appl. Math. 98:2 (1998), 245–271. arXiv: hep-th/9801168
   Web of Science ®Google Scholar
• [Petkovšek 92] M. Petkovšek. “Hypergeometric Solutions of Linear Recurrences with Polynomial Coefficients.” J. Symbolic Comput. 14:2–3 (1992), 243–264
   Web of Science ®Google Scholar
• [Remiddi and Vermaseren 00] E. Remiddi and J. A. M. Vermaseren. “Harmonic Polylogarithms.” Int. J. Mod. Phys. A. 15:05 (2000), 725–754. arXiv: hep-ph/9905237
   Google Scholar
• [Hendriks and Singer 99] P. A. Hendriks and M. F. Singer. “Solving Difference Equations in Finite Terms.” J. Symbolic Comput. 27:3 (1999), 239–259.
   Web of Science ®Google Scholar
• [Vermaseren 99] J. A. M. Vermaseren. “Harmonic Sums, Mellin Transforms and Integrals.” Int. J. Mod. Phys A. 14:13 (1999), 2037–2076. arXiv: 9806280v1
   Web of Science ®Google Scholar
• [Weinzierl 04] S. Weinzierl. “Expansion Around Half Integer Values, Binomial Sums and Inverse Binomial Sums.” J. Math. Phys. 45:7 (2004), 2656–2673. arXiv: hep-ph/0402131
   Web of Science ®Google Scholar
• [Zhi-Wei 11] S. Zhi-Wei. “List of Conjectural Series for Powers of π and Other Constants.” 2011. arXiv: 1102. 5649.
   Google Scholar
• [Zucker 85] I. J. Zucker. “On the Series ∑k=1∞(2kk)−1k−n and Related Sums.” J. Number Theory. 20 (1985), 92–102.
   Web of Science ®Google Scholar