A Symbolic Approach to Quantum Computation Simulation

  • António Pereira
  • Rosália Rodrigues
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3992)


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.


Hilbert Space Quantum Computation Quantum Algorithm Symbolic Approach Dirac Notation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambrige University Press, Cambrige (2000)MATHGoogle Scholar
  2. 2.
    Kitaev, A.Y., Shen, A., Vyalyi, M.: Classical and quantum computation. Graduate Studies in Mathematics, 47. American Mathematical Society (2002)Google Scholar
  3. 3.
    Wolfram, S.: TheMathematica Book, 5th edn. Wolfram Media, Inc. (2003)Google Scholar
  4. 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
  5. 5.
    Biham, E., Biham, O., Biron, D., Grassl, M., Lidar, D.A.: Grover’s quantum search algorithm for an arbitrary initial amplitude distribution. Physical Review A 60, 27–42 (1999)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • António Pereira
    • 1
  • Rosália Rodrigues
    • 1
  1. 1.Department of MathematicsUniversity of AveiroPortugal

Personalised recommendations