Title: Extending CNOT to real stabilizer quantum mechanics
Abstract: The stabilizer formalism for quantum mechanics is an important tool for implementing fault tolerant quantum circuits. In this talk we first give a brief overview of the stabilizer formalism. We also will discuss the angle-free fragment of the ZX calculus, which is complete for the real fragment of stabilizer quantum mechanics. We use this fact to extend the category CNOT to be complete for this fragment of quantum mechanics.