DOE OSTI2016Formal Computer Validation of the Quantum Phase Estimation Algorithm.Abstract not provided.Witzel, Wayne↗