Volgen
Ben Caldwell
Ben Caldwell
University of Chicago
Geverifieerd e-mailadres voor uchicago.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
VyZX: A Vision for Verifying the ZX Calculus
A Lehmann, B Caldwell, R Rand
arXiv preprint arXiv:2205.05781, 2022
72022
VyZX: Formal Verification of a Graphical Quantum Language
A Lehmann, B Caldwell, B Shah, R Rand
arXiv preprint arXiv:2311.11571, 2023
22023
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–2