ZX-calculus

The ZX-calculus is a graphical language. It was conceived for reasoning about linear maps between qubits, which are represented as string diagrams called ZX-diagrams.

Use + to expand a branch. Click a topic name to open its summary.