Algebraic complete axiomatisation of ZX-calculus with a normal form via elementary matrioperations

Quanlong Wang
Quantinuum

Preprint: 2007.13739