OFFSET
0,1
REFERENCES
Ali Shadhar Olaikhan, An Introduction to the Harmonic Series and Logarithmic Integrals, 2021, p. 241, eq. (4.143).
LINKS
Philippe Flajolet and Bruno Salvy, Euler Sums and Contour Integral Representations, Experimental Mathematics 7:1 (1998), pp. 15-35. See page 32.
Cornel Ioan Vălean, (Almost) Impossible Integrals, Sums, and Series, Springer International Publishing, 2019, section 4.52, pp. 309-310, eq. (4.85), section 5.52, p. 326, section 6.52, pp. 502-508.
FORMULA
Equals 11*Pi^4/360 + (1/12)*Pi^2*log(2)^2 - log(2)^4/12 - 2*Li4(1/2) - 7/4*log(2)*zeta(3).
Equals (1/2)*Integral_{z=0..1} (log(z)^2*log(1+z)) / (z*(1+z)) dz.
EXAMPLE
0.859247157928590615539909939475759980712884350860414926760520689766...
MATHEMATICA
RealDigits[ 11*Pi^4/360 + 1/12*Pi^2*Log[2]^2 - Log[2]^4/12 - 2*PolyLog[4, 1/2] - 7/4*Log[2]*Zeta[3], 10, 100] // First
PROG
(PARI) 11*Pi^4/360 + Pi^2*log(2)^2/12 - log(2)^4/12 - 2*polylog(4, 1/2) - 7*log(2)*zeta(3)/4 \\ Charles R Greathouse IV, Aug 27 2014
CROSSREFS
KEYWORD
AUTHOR
Jean-François Alcover, Dec 03 2013
STATUS
approved
