Verifying the Smallest Interesting Colour Code with Quantomatic
暂无分享,去创建一个
[1] Simon Perdrix,et al. Supplementarity is Necessary for Quantum Diagram Reasoning , 2015, MFCS.
[2] Simon Perdrix,et al. Pivoting makes the ZX-calculus complete for real stabilizers , 2013, QPL.
[3] Simon Perdrix,et al. Graph States and the Necessity of Euler Decomposition , 2009, CiE.
[4] Aleks Kissinger,et al. Quantomatic: A proof assistant for diagrammatic reasoning , 2015, CADE.
[5] Aleks Kissinger,et al. Pattern Graph Rewrite Systems , 2012, DCM.
[6] Aleks Kissinger,et al. Generalised compositional theories and diagrammatic reasoning , 2015, 1506.03632.
[7] Earl T. Campbell,et al. Unified framework for magic state distillation and multiqubit gate synthesis with reduced resource cost , 2016, 1606.01904.
[8] Simon Perdrix,et al. A Simplified Stabilizer ZX-calculus , 2016, QPL.
[9] A. Kitaev,et al. Universal quantum computation with ideal Clifford gates and noisy ancillas (14 pages) , 2004, quant-ph/0403025.
[10] Ross Duncan,et al. Interacting Frobenius Algebras are Hopf , 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
[11] Barenco,et al. Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.
[12] Matthias Troyer,et al. A software methodology for compiling quantum programs , 2016, ArXiv.
[13] Ross Duncan,et al. Verifying the Steane code with Quantomatic , 2013, QPL.
[14] Miriam Backens,et al. Making the stabilizer ZX-calculus complete for scalars , 2015, 1507.03854.
[15] Mark Howard,et al. Unifying Gate Synthesis and Magic State Distillation. , 2016, Physical review letters.
[16] Aleks Kissinger,et al. Tensors, !-graphs, and non-commutative quantum structures. , 2014 .
[17] Bob Coecke,et al. Interacting quantum observables: categorical algebra and diagrammatics , 2009, ArXiv.
[18] Aleks Kissinger,et al. A First-order Logic for String Diagrams , 2015, CALCO.
[19] Earl T. Campbell,et al. Quantum computation with realistic magic-state factories , 2016, 1605.07197.
[20] Miriam Backens,et al. The ZX-calculus is complete for the single-qubit Clifford+T group , 2014, 1412.8553.
[21] Miriam Backens,et al. The ZX-calculus is complete for stabilizer quantum mechanics , 2013, 1307.7025.
[22] Bob Coecke,et al. Interacting Quantum Observables , 2008, ICALP.