Publis

Publications HAL de renaud vilmart

2019

Conference papers

titre
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
auteur
Renaud Vilmart
article
LICS 2019 – 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩
typdoc
Conference papers
DOI
DOI : 10.1109/LICS.2019.8785765
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01963426/file/euler.pdf BibTex
titre
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
LICS 2019 – 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
typdoc
Conference papers
DOI
DOI : 10.1109/LICS.2019.8785754
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01791791/file/normal-forms-NF.pdf BibTex
titre
Completeness of Graphical Languages for Mixed States Quantum Mechanics
auteur
Titouan Carette, Simon Perdrix, Renaud Vilmart, Emmanuel Jeandel
article
ICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
typdoc
Conference papers
DOI
DOI : 10.4230/LIPIcs.ICALP.2019.108
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02025720/file/discard.pdf BibTex

Theses

titre
ZX-Calculi for Quantum Computing and their Completeness
auteur
Renaud Vilmart
article
Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
typdoc
Theses
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-02395443/file/these-Vilmart.pdf BibTex

Preprints, Working Papers, …

titre
Completeness of the ZX-Calculus
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
2019
typdoc
Preprints, Working Papers, …
Accès au bibtex
https://arxiv.org/pdf/1903.06035 BibTex

2018

Conference papers

titre
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559–568, ⟨10.1145/3209108.3209131⟩
typdoc
Conference papers
DOI
DOI : 10.1145/3209108.3209131
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01529623/file/pi_4-completeness-arxiv-v2.pdf BibTex
titre
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
The 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569–578, ⟨10.1145/3209108.3209139⟩
typdoc
Conference papers
DOI
DOI : 10.1145/3209108.3209139
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01716501/file/beyond_clifford%2BT-arxiv.pdf BibTex
titre
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
auteur
Renaud Vilmart
article
QPL 2018, Jun 2018, Halifax, Canada. pp.313-344, ⟨10.4204/EPTCS.287.18⟩
typdoc
Conference papers
DOI
DOI : 10.4204/EPTCS.287.18
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01762264/file/Toffoli-arxiv.pdf BibTex

2017

Conference papers

titre
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
article
MFCS 2017 – 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01445707/file/Cyclotomic-Supplementarity-with-appendix.pdf BibTex
titre
Y-Calculus: A language for real Matrices derived from the ZX-Calculus
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01445948/file/Y-Calculus.pdf BibTex