#### Filter Results:

- Full text PDF available (9)

#### Publication Year

2017

2019

- This year (8)
- Last 5 years (10)
- Last 10 years (10)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- LICS
- 2018

We introduce the first complete and approximately universal diagrammatic language for quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by Coecke and Duncan, complete for… (More)

- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- LICS
- 2018

The ZX-Calculus is a graphical language for diagrammatic reasoning in quantum mechanics and quantum information theory. An axiomatisation has recently been proven to be complete for an… (More)

- Renaud Vilmart
- ArXiv
- 2019

We consider a ZX-calculus augmented with triangle nodes which is well-suited to reason on the so-called Toffoli-Hadamard fragment of quantum mechanics. We precisely show the form of the matrices it… (More)

- Renaud Vilmart
- 2018

Recent developments in the ZX-Calculus have resulted in complete axiomatisations first for an approximately universal restriction of the language, and then for the whole language. The main drawbacks… (More)

- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
- MFCS
- 2017

The ZX-Calculus is a powerful graphical language for quantum mechanics and quantum information processing. The completeness of the language – i.e. the ability to derive any true equation – is a… (More)

Recent completeness results on the ZX-Calculus used a third-party language, namely the ZW-Calculus. As a consequence, these proofs are elegant, but sadly non-constructive. We address this issue in… (More)

- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
- ArXiv
- 2017

The ZX-Calculus is a powerful diagrammatic language for quantum mechanics and quantum information processing. The completeness of the π 4 -fragment is a main open problem in categorical quantum… (More)

There exist several graphical languages for quantum information processing, like quantum circuits, ZX-Calculus, ZW-Calculus, etc. Each of these languages forms a †symmetric monoidal category (†-SMC)… (More)

- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- QPL
- 2018

The ZX-Calculus is a powerful diagrammatic language devoted to represent complex quantum evolutions. But the advantages of quantum computing still exist when working with rebits, and evolutions with… (More)