Cargando…

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

Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but it is useful only if computed answers are correct. While hardware-level decoherence errors have garnered significant attention, a less recognized obstacle to correctness is that of human programm...

Descripción completa

Detalles Bibliográficos
Autores principales: Peng, Yuxiang, Hietala, Kesha, Tao, Runzhou, Li, Liyi, Rand, Robert, Hicks, Michael, Wu, Xiaodi
Formato: Online Artículo Texto
Lenguaje:English
Publicado: National Academy of Sciences 2023
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10214188/
https://www.ncbi.nlm.nih.gov/pubmed/37186832
http://dx.doi.org/10.1073/pnas.2218775120

Ejemplares similares