TeX:
\zeta\!\left(3, 3\right) = \frac{1}{2} \left({\left(\zeta\!\left(3\right)\right)}^{2} - \zeta\!\left(6\right)\right)
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
MultiZetaValue | Multiple zeta value (MZV) | |
Pow | Power | |
RiemannZeta | Riemann zeta function |
Source code for this entry:
Entry(ID("3a5167"), Formula(Equal(MultiZetaValue(3, 3), Mul(Div(1, 2), Sub(Pow(RiemannZeta(3), 2), RiemannZeta(6))))))