267 citations · 2.2k across the 28 of their papers we have counts for
1 paper · 2 filters
Wayne M. Witzel, Warren D. Craft, Robert Carr +1
The general-purpose interactive theorem-proving assistant called Prove-It was used to verify the Quantum Phase Estimation (QPE) algorithm, specifically claims about its outcome pro…