TY  - RPRT
TI  - Formal Computer Validation of the Quantum Phase Estimation Algorithm.
AU  - Witzel, Wayne
AU  - Rudinger, Kenneth Michael
AU  - Sarovar, Mohan
AU  - Carr, Rober
PY  - 2016
UR  - https://www.osti.gov/biblio/1348125
ID  - 1348125
ER  -