71 citations · 374 across the 31 of their papers we have counts for
1 paper · 2 filters
Miriam Backens, Simon Perdrix, Quanlong Wang
The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics.The language is sound and complete: a stabilizer ZX-diagram can be transformed int…