71 citations · 374 across the 31 of their papers we have counts for
1 paper · 1 filter
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…