TY  - RPRT
TI  - A formally certified end-to-end implementation of Shor’s factorization algorithm
AU  - Peng, Yuxiang
AU  - Hietala, Kesha
AU  - Tao, Runzhou
AU  - Li, Liyi
AU  - Rand, Robert
AU  - Hicks, Michael
AU  - Wu, Xiaodi
PY  - 2023
DO  - 10.1073/pnas.2218775120
UR  - https://www.osti.gov/biblio/1973705
ID  - 1973705
ER  -