Definitions:
The EZ-Face (Euler Zeta interface) is primarily intended for
evaluating the Euler sums
![\begin{displaymath}
\zeta(s_1,\ldots,s_k):=
\sum_{n_1\gt\ldots\gt n_k\gt} \prod_{j=1}^k { {{a_j}^{n_j}}\over {n_j^{\vert s_j\vert}} },\end{displaymath}](img1.gif)
where all sj are non-zero integers and
![\begin{displaymath}
a_j:=\mbox{sign}(s_j)\in\{-1,1\} \ \ \ \mbox{for\ }j=1,\ldots,k.\end{displaymath}](img2.gif)
A non-alternating Euler sum (i.e., all aj=1) is called
a multiple zeta value (MZV).
Aditionally, for non-negative integers and we define
![\begin{displaymath}
\zeta_p(s_1,\ldots,s_k)
:=\sum_{n_1\gt\ldots\gt n_k\gt} p^{-n_1}\prod_{j=1}^k n_j^{-s_j},\end{displaymath}](img5.gif)
which reduces to an MZV when p=1.
|