AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore a cutting-edge approach to verifying quantum circuit equivalence using the GAP programming language in this 18-minute conference talk from the WQS 2024 workshop. Delve into the development of Quantum GAP, a specialized library enabling easy specification of quantum circuits within GAP. Discover how this tool has been applied to verify 30 quantum gate decompositions from previous research in quantum circuit design and optimization. Gain insights into the verification process for ancilla management and the validation of rotational gates. Learn about this ongoing effort presented by Scott Wesley from the University of Waterloo, Canada, as part of the ACM SIGPLAN-sponsored Workshop on Quantum Software (WQS) 2024.
