Physics – Quantum Physics
Scientific paper
1998-10-22
Physics
Quantum Physics
11 pages, 5 Postscript figures
Scientific paper
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 algorithm. It is demonstrated that the calculus provides
a rigorous programming notation for modelling this and other quantum algorithms
and that it also provides a systematic framework of analysing such algorithms.
Butler Michael
Hartel Pieter
No associations
LandOfFree
Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-267381