Completeness and the ZX-calculus

<p>Graphical languages offer intuitive and rigorous formalisms for quantum physics. They can be used to simplify expressions, derive equalities, and do computations. Yet in order to replace conventional formalisms, rigour alone is not sufficient: the new formalisms also need to have equivalent...

Full description

Bibliographic Details
Main Author: Backens, M
Other Authors: Coecke, B
Format: Thesis
Language:English
Published: 2015
Subjects: