A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
type: Item
instance of: scholarly article
title: A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
zbMATH Open document ID: 1452.81080
DOI: 10.1145/3209108.3209131
author: Emmanuel Jeandel
author: Simon Perdrix
author: Renaud Vilmart
published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
publication date: 2021-01-20T00:00:00Z
full work available at URL: https://arxiv.org/abs/1705.11151
Mathematics Subject Classification ID: 81P68
Mathematics Subject Classification ID: 18M30
Mathematics Subject Classification ID: 81P65
Mathematics Subject Classification ID: 15A67
zbMATH DE Number: 7298781
zbMATH Keywords: categorical quantum mechanics
zbMATH Keywords: Clifford+T
zbMATH Keywords: completeness
zbMATH Keywords: ZX-calculus
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2964268018
Wikidata QID: Q64356749
arXiv ID: 1705.11151
DBLP publication ID: conf/lics/JeandelPV18
Recommended article: Q5111225
Recommended article: The ZX-calculus is complete for stabilizer quantum mechanics
Recommended article: Q4997301
Recommended article: Q3384923
Recommended article: Complete axiomatizations for quantum actions
Recommended article: Q3385644
Recommended article: The ZX-calculus is incomplete for quantum mechanics
Recommended article: Axiomatic quantum mechanics and completeness
Recommended article: Q4889137
Recommended article: Quantum and braided ZX calculus*
description: scientific article; zbMATH DE number 7298781