A formally certified end-to-end implementation of Shor's factorization algorithm

DOI10.1073/PNAS.2218775120MaRDI QIDQ7017177zbMATH OpenFDO

Authors Y. X. Peng, Kesha Hietala, Runzhou Tao, Liyi Li, R. Rand, Michael Anthony Hicks, Xiaodi Wu

Publication date 6 March 2025

Published in Proceedings of the National Academy of Sciences of the United States of America (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68)

This page was built for publication: A formally certified end-to-end implementation of Shor's factorization algorithm

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