Your browser doesn't support javascript.
loading
A formally certified end-to-end implementation of Shor's factorization algorithm.
Peng, Yuxiang; Hietala, Kesha; Tao, Runzhou; Li, Liyi; Rand, Robert; Hicks, Michael; Wu, Xiaodi.
Afiliación
  • Peng Y; Department of Computer Science, University of Maryland, College Park, MD 20740.
  • Hietala K; Joint Center for Quantum Information and Computer Science, University of Maryland, College Park, MD 20740.
  • Tao R; Department of Computer Science, University of Maryland, College Park, MD 20740.
  • Li L; Department of Computer Science, Columbia University, New York, NY 10027.
  • Rand R; Department of Computer Science, University of Maryland, College Park, MD 20740.
  • Hicks M; Joint Center for Quantum Information and Computer Science, University of Maryland, College Park, MD 20740.
  • Wu X; Department of Computer Science, University of Chicago, Chicago, IL 60637.
Proc Natl Acad Sci U S A ; 120(21): e2218775120, 2023 May 23.
Article en En | MEDLINE | ID: mdl-37186832
Palabras clave
Texto completo
Imprimir
XML
PubMed Links
Buscar en Google

Texto completo: 1 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
Texto completo
Imprimir
XML
PubMed Links
Buscar en Google

Texto completo: 1 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