4 citations · 7 across the 3 of their papers we have counts for
4 papers
On a recipe for quantum graphical languages
Titouan Carette, Emmanuel Jeandel
Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can w…
Colored props for large scale graphical reasoning
Titouan Carette, Simon Perdrix
The prop formalism allows representation of processes withstring diagrams and has been successfully applied in various areas such as quantum computing, electric circuits and contro…
SZX-calculus: Scalable Graphical Quantum Reasoning
Titouan Carette, Dominic Horsman, Simon Perdrix
We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact graphical language for the design and verification of quantum computations. The SZX-calculus is…
Completeness of Graphical Languages for Mixed States Quantum Mechanics
Titouan Carette, Emmanuel Jeandel, Simon Perdrix +1
There exist several graphical languages for quantum information processing, like quantum circuits, ZX-Calculus, ZW-Calculus, etc. Each of these languages forms a dagger-symmetric m…