Quantum measurements and the Abelian stabilizer problem

The reference for quantum phase estimation on this site, and for the glossary entry. Lemma 10 is the precision bound the algorithm page quotes. Shor's algorithm can be retold in this language; the 1997 paper writes the Fourier transform itself. VQE is discussed against phase estimation because the coherence cost is the contrast Peruzzo et al. draw.