Statements (49)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
graphical calculus
|
| gptkbp:basedOn |
gptkb:category_theory
|
| gptkbp:component |
gptkb:X-spiders
gptkb:Z-spiders wires phases |
| gptkbp:field |
gptkb:quantum_computing
gptkb:quantum_information_theory |
| gptkbp:hasRule |
gptkb:Euler_decomposition
identity law Euler decomposition law Hadamard law Hadamard rule Hopf law bialgebra law bialgebra rule color change law color change rule commutation law commutation rule copy law copy rule fusion rule identity rule inverse law inverse rule pi-commutation law pi-commutation rule scalar law scalar rule spider law spider rule supplementarity law supplementarity rule zero law zero rule |
| https://www.w3.org/2000/01/rdf-schema#label |
ZX-calculus
|
| gptkbp:introduced |
gptkb:Bob_Coecke
gptkb:Ross_Duncan |
| gptkbp:introducedIn |
2008
|
| gptkbp:notation |
diagrammatic
|
| gptkbp:relatedTo |
categorical quantum mechanics
quantum circuit model stabilizer formalism |
| gptkbp:usedFor |
quantum error correction
measurement-based quantum computation reasoning about quantum circuits |
| gptkbp:bfsParent |
gptkb:Bob_Coecke
|
| gptkbp:bfsLayer |
6
|