Discrete Wigner Function Derivation of the Aaronson-Gottesman Tableau Algorithm
the heisenberg representation of quantum computers .