Fungrim home page

Fungrim entry: ef2c71

ζ ⁣(4,2)=(ζ ⁣(3))243ζ ⁣(6)\zeta\!\left(4, 2\right) = {\left(\zeta\!\left(3\right)\right)}^{2} - \frac{4}{3} \zeta\!\left(6\right)
\zeta\!\left(4, 2\right) = {\left(\zeta\!\left(3\right)\right)}^{2} - \frac{4}{3} \zeta\!\left(6\right)
Fungrim symbol Notation Short description
MultiZetaValueζ ⁣(s1,,sk)\zeta\!\left({s}_{1}, \ldots, {s}_{k}\right) Multiple zeta value (MZV)
Powab{a}^{b} Power
RiemannZetaζ ⁣(s)\zeta\!\left(s\right) Riemann zeta function
Source code for this entry:
    Formula(Equal(MultiZetaValue(4, 2), Sub(Pow(RiemannZeta(3), 2), Mul(Div(4, 3), RiemannZeta(6))))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC