Is simulation the only alternative for effective verification of dynamic quantum circuits?

DOI10.1007/978-3-031-62076-8_13MaRDI QIDQ6637599zbMATH OpenFDO

Authors Liam Hurwitz, K. Datta, Abhoy Kole, Rolf Drechsler

Publication date 13 November 2024

zbMATH Keywords

verificationquantum simulationequivalence checkingQMDDZX-calculusdynamic quantum circuit

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Cites work

• scientific article; zbMATH DE number 7449972 (Why is no real title available?)
• Interacting Quantum Observables
• Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
• Property checking of quantum circuits using quantum multiple-valued decision diagrams
• Quantum computation and quantum information. 10th anniversary edition
• Rapid solution of problems by quantum computation

This page was built for publication: Is simulation the only alternative for effective verification of dynamic quantum circuits?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6637599)