A formally certified end-to-end implementation of Shor's factorization algorithm.
Proc Natl Acad Sci U S A
; 120(21): e2218775120, 2023 May 23.
Article
en En
| MEDLINE
| ID: mdl-37186832
Texto completo:
1
Colección:
01-internacional
Base de datos:
MEDLINE
Tipo de estudio:
Prognostic_studies
Idioma:
En
Revista:
Proc Natl Acad Sci U S A
Año:
2023
Tipo del documento:
Article