Renaud Vilmart

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A generic normal form for ZX-diagrams and application to the rational angle completeness	2024-12-19	Paper
A near-minimal axiomatisation of ZX-calculus for pure qubit quantum mechanics	2024-12-19	Paper
Compositionality of planar perfect matchings: a universal and complete fragment of ZW-calculus	2024-11-14	Paper
Completeness of sum-over-paths for Toffoli-Hadamard and the dyadic fragments of quantum computation	2024-09-25	Paper
Rewriting and completeness of sum-over-paths in dyadic fragments of quantum computing Logical Methods in Computer Science	2024-06-27	Paper
Classical simulation of quantum circuits with partial and graphical stabiliser decompositions	2024-06-27	Paper
scientific article; zbMATH DE number 7724262 (Why is no real title available?) (available as arXiv preprint)	2023-08-08	Paper
scientific article; zbMATH DE number 7724203 (Why is no real title available?) (available as arXiv preprint)	2023-08-08	Paper
scientific article; zbMATH DE number 7561601 (Why is no real title available?) (available as arXiv preprint)	2022-07-21	Paper
scientific article; zbMATH DE number 7449988 (Why is no real title available?)	2021-12-20	Paper
scientific article; zbMATH DE number 7449988 (Why is no real title available?) (available as arXiv preprint)	2021-12-20	Paper
Y-calculus: a language for real matrices derived from the ZX-calculus	2021-12-17	Paper
Y-calculus: a language for real matrices derived from the ZX-calculus (available as arXiv preprint)	2021-12-17	Paper
The structure of sum-over-paths, its consequences, and completeness for Clifford (available as arXiv preprint)	2021-10-18	Paper
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Diagrammatic reasoning beyond Clifford+T quantum mechanics Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
scientific article; zbMATH DE number 7215290 (Why is no real title available?) (available as arXiv preprint)	2020-06-26	Paper
scientific article; zbMATH DE number 7215290 (Why is no real title available?)	2020-06-26	Paper
ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics (available as arXiv preprint)	2020-05-26	Paper

Research outcomes over time

This page was built for person: Renaud Vilmart