Algebraic complete axiomatisation of ZX-calculus with a normal form via elementary matrioperations / Papers QISS1 / By Qiss Quanlong Wang Quantinuum Preprint: 2007.13739