An interpreter for quantum circuits

DOI10.4204/EPTCS.114.7MaRDI QIDQ6587255zbMATH OpenFDO

Authors Lucas Helms, Ruben A. Gamboa

Publication date 13 August 2024

Full work available at URL https://doi.org/10.4204/EPTCS.114.7

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20) Quantum gates (81P65)

Recommendations

• A quantum algorithm for a FULL adder operation based on registers of the CPU in a quantum-gated computer
• A UNIVERSAL QUANTUM ESTIMATOR
• Verification of quantum programs
• Quantum circuits for floating-point arithmetic
• Models of quantum computation and quantum programming languages

Cites work

• Certified Computer Algebra on Top of an Interactive Theorem Prover
• scientific article; zbMATH DE number 1863375 (Why is no real title available?)
• MetiTarski: An automatic theorem prover for real-valued special functions
• Nonstandard analysis in ACL2
• Quantum Computing Explained
• Quantum Computing for Computer Scientists

This page was built for publication: An interpreter for quantum circuits

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