A Symbolic Approach to Quantum Computation Simulation
This paper presents SQCS: a Mathematica package for the symbolic simulation of quantum computation. It can be a useful tool in the development and testing of quantum algorithms as well as in the teaching and learning of quantum computation.
The strength of this symbolic approach is here illustrated with Grover’s quantum algorithm for database search.
KeywordsHilbert Space Quantum Computation Quantum Algorithm Symbolic Approach Dirac Notation
- 2.Kitaev, A.Y., Shen, A., Vyalyi, M.: Classical and quantum computation. Graduate Studies in Mathematics, 47. American Mathematical Society (2002)Google Scholar
- 3.Wolfram, S.: TheMathematica Book, 5th edn. Wolfram Media, Inc. (2003)Google Scholar
- 4.Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proc. 28th Annual ACM Symposium on the Theory of Computing, pp. 212–219 (1996)Google Scholar