Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added pointer to:
added pointer to
which is apparently the unpublished note which later became Cocke & Duncan (2011)
added pointer to:
whose effort to organize measurement-based quantum computation protocols is apparently the historical origin of the ZX-calculus
added pointer to:
which seems to be yet another incarnation of “the original article”
started adding some actual Idea of what the “calculus” is about (here)
But before proceeding along these lines, I need now a stand-alone page for Pauli quantum gates…
added pointer to:
and
added pointer to:
Adrian Lehmann, Ben Caldwell, Bhakti Shah, Robert Rand: VyZX: Formal Verification of a Graphical Quantum Language [arXiv:2311.11571]
Robert Rand: Verifying the ZX-calculus and its Friends, talk at Running HoTT 2024 [video:kt]
1 to 8 of 8