A Coq-based infrastructure for quantum programming, verification and simulation

DOI10.1007/978-981-97-2340-9_14MaRDI QIDQ6636079zbMATH OpenFDO

Authors Wenxuan Tao, Paul Gang Chen

Publication date 12 November 2024

zbMATH Keywords

quantum simulationCoqformal verificationquantum programmingOCaml

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 7699438 (Why is no real title available?)
• Bell’s theorem without inequalities
• Formal verification of quantum algorithms using quantum Hoare logic
• QWIRE: a core language for quantum circuits
• Quantum computation and quantum information. 10th anniversary edition

This page was built for publication: A Coq-based infrastructure for quantum programming, verification and simulation

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