Folgen
Ben Caldwell
Ben Caldwell
University of Chicago
Bestätigte E-Mail-Adresse bei uchicago.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
VyZX: A Vision for Verifying the ZX Calculus
A Lehmann, B Caldwell, R Rand
arXiv preprint arXiv:2205.05781, 2022
62022
VyZX: Formal Verification of a Graphical Quantum Language
A Lehmann, B Caldwell, B Shah, R Rand
arXiv preprint arXiv:2311.11571, 2023
12023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2