Equivalence Checking of Quantum Circuits with the ZX-Calculus

Peham, Burgholzer

2022Algorithms and Theory

Details

Year: 2022

Topic: Algorithms and Theory

Authors: Peham, Burgholzer

File: Peham__Burgholzer_2022_Equivalence_Checking_of_Quantum_Circuits_with_the_ZX-Calculus.pdf