Quantum Fourier Transform

MaRDI QIDQ7361307FDO

Authors Pablo Manrique

Publication date 28 January 2025

Cites work

• A formally certified end-to-end implementation of Shor's factorization algorithm
• Certified quantum computation in Isabelle/HOL
• Quantum computation and quantum information. 10th anniversary edition

This page was built for software: Quantum Fourier Transform