Follow
Algebraic complete axiomatisation of ZX-calculus with a norm form via elementary matrix operations. (arXiv:2007.13739v1 [quant-ph]) http://arxiv.org/abs/2007.13739
Algebraic complete axiomatisation of ZX-calculus with a norm form via elementary matrix operations. (arXiv:2007.13739v1 [quant-ph]) http://arxiv.org/abs/2007.13739