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

> Research article (Proceedings of the National Academy of Sciences, 2023) · cited 17× · AI/ML

**Wikidata**: [openalex:W4376609669](https://www.wikidata.org/wiki/openalex:W4376609669)  
**Source**: https://4ort.xyz/entity/a-formally-certified-end-to-end-implementation-of-shors-factorization-algorithm