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

DOI10.1007/978-981-97-2340-9_14MaRDI QIDQ6636079

Wenxuan Tao, Paul Gang Chen

Publication date: 12 November 2024

zbMATH Keywords

formal verificationquantum simulationCoqquantum programmingOCaml

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• Quantum Computation and Quantum Information
• Bell’s theorem without inequalities
• QWIRE: a core language for quantum circuits
• Formal verification of quantum algorithms using quantum Hoare logic

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)