9 citations · 17 across the 8 of their papers we have counts for
1 paper · 1 filter
Michael Butler, Pieter Hartel
Grover's search algorithm is designed to be executed on a quantum mechanical computer. In this paper, the probabilistic wp-calculus is used to model and reason about Grover's algor…