32 citations · 32 across the 1 of their papers we have counts for
1 paper
Andrew Fagan, Ross Duncan
We present a system of equations between Clifford circuits, all derivable in the ZX-calculus, and formalised as rewrite rules in the Quantomatic proof assistant. By combining these…