Search

• < Previous
• 1
• Next >

Addition and Differentiation of ZX-diagrams

The ZX-calculus is a powerful framework for reasoning in quantum computing. It provides in particular a compact representation of matrices of interests. A peculiar property of the ZX-calculus is the absence of a formal sum allowing the linear combinations of arbitrary ZX-diagrams. The universality&nbsp;[&hellip;]