scientific article; zbMATH DE number 7364179

zbMath1464.81025arXiv1306.4532MaRDI QIDQ4997267

Maxime Lucas, Ross Duncan

Publication date: 29 June 2021

Full work available at URL: https://arxiv.org/abs/1306.4532

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Quantum coding (general) (81P70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (17)

Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ Graphical CSS Code Transformation Using ZX Calculus ⋮ Picturing Counting Reductions with the ZH-Calculus ⋮ Hybrid quantum-classical circuit simplification with the ZX-calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Shaded tangles for the design and verification of quantum circuits ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• Quantomatic

This page was built for publication: