A symbolic approach to multiple zeta values at the negative integers

Symbolic computation techniques are used to derive some closed form expressions for an analytic continuation of the Euler-Zagier zeta function evaluated at the negative integers as recently proposed by B. Sadaoui. This approach allows to compute explicitly some contiguity identities, recurrences on the depth of the zeta values and generating functions.