Computations about formal multiple zeta spaces defined by binary extended double shuffle relations

Tomoya Machide

The formal multiple zeta space we consider with a computer is an ${\mathbb{F}}_2$-vector space generated by $2^{k-2}$ formal symbols for a given weight $k$, where the symbols satisfy…