Published in arXiv, 2019
Formalizing the ZX Calculus – a graphical representation of quantum circuits – in Coq
Recommended citation: Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand (2024). "ViCAR: Visualizing Categories with Automated Rewriting in Coq". To appear in ACT 2024 https://arxiv.org/abs/2404.08163
Published in arXiv, 2019
Formalizing the ZX Calculus – a graphical representation of quantum circuits – in Coq
Recommended citation: Adrian Lehmann, Ben Caldwell, Robert Rand (2023). "VyZX: Formal Verification of a Graphical Quantum Language". Preprint https://arxiv.org/abs/2311.11571
Published in arXiv, 2019
Formalizing the ZX Calculus – a graphical representation of quantum circuits – in Coq
Recommended citation: Adrian Lehmann, Ben Caldwell, Robert Rand (2022). "VyZX : A Vision for Verifying the ZX Calculus". Preprint https://arxiv.org/abs/2205.05781
Published in N/A, 2019
Unrolling loops where bounds are unknown at compile time
Recommended citation: Adrian Lehmann (2019). "Loop unrolling with non-constant bounds in FIRM". KIT Bachelor Thesis. https://pp.info.uni-karlsruhe.de/uploads/publikationen/lehmann19bachelorarbeit.pdf