Extending scientific computing system with structural quantum programming capabilities

Bulletin of the Polish Academy of Sciences: Technical Sciences

Volumn 58, Issue 1, 2010, Pages 77-88

  Gawron, P ^a   Klamka, J ^a   Miszczak, J A ^a   Winiarczyk, R ^a  

^a INSTITUTE OF THEORETICAL AND APPLIED INFORMATICS   (Poland)

Author keywords

Models of quantum computation; Quantum information; Quantum programming

Indexed keywords

HIGH LEVEL LANGUAGES; OPEN SOURCE SOFTWARE; QUANTUM COMPUTERS; QUANTUM OPTICS; QUANTUM THEORY;

COMPUTATIONAL ROUTINES; HIGH-LEVEL PROGRAMMING; HIGH-LEVEL STRUCTURE; MODELS OF QUANTUM COMPUTATIONS; QUANTUM ALGORITHMS; QUANTUM INFORMATION; QUANTUM PROGRAMMING; QUANTUM PROGRAMMING LANGUAGES;

MATLAB;

EID: 77955505733     PISSN: 02397528     EISSN: None     Source Type: Journal    
DOI: 10.2478/v10175-010-0008-4     Document Type: Article

References (38)

1. M.A. Nielsen and I.L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, Cambridge, 2000.
2. M. Hirvensalo, Quantum Computing, Springer, Berlin, 2001.
3. S. Bugajski, J. Klamka, and S. Wegrzyn, "Foudations of quantum computing, Part I", Archives of Theoretical and Applied Informatics 13 (1), 97-142 (2001), (in Polish).
4. S. Bugajski, J. Klamka, and S. Wegrzyn, "Foudations of quantum computing. Part II", Archives of Theoretical and Applied Informatics 13 (1), 137-149 (2001), (in Polish).
5. P.W. Shor, "Why haven't more quantum algorithms been found?", ACM 50 (1), 87-90 (2003).
6. P.W. Shor, "Progress in quantum algorithms", Quantum Information Processing 3, 1-5 (2004).
7. D. Deutsch, "Quantum theory, the Church-Turing principle and the universal quantum computer", Proc. Roy. Soc. Lond. A 400, 97 (1985).
8. D. Deutsch, "Quantum computational networks", Proc. Roy. Soc. Lond. A 425, 73 (1989).
9. S. Bettelli, L. Serafini, and T. Calarco, "Toward an architecture for quantum programming", Eur. Phys. J. D 25 (2), 181-200 (2003).
10. S. Gudder, "Quantum computational logic", Int. J. Theoretical Physics 1 (42), 39-47 (2003).
11. A. van Tonder, "A lambda calculus for quantum computation", SIAM J.COMPUT. 33, 1109 (2004).
12. C. Moore and J.P. Crutchfield, "Quantum automata and quantum grammars", Theoretical Computer Science 237 (1-2), 275-306 (2000).
13. E. Bernstein and U. Vazirani, "Quantum complexity theory", SIAM J. on Computing 26 (5), 1411-1473 (1997).
14. S. Gay, "Quantum programming languages: Survey and bibliography", Bull. Eur. Association for Theoretical Computer Science 1, CD-ROM (2005).
15. J.A. Miszczak, Probabilistic Aspects of Quantum Programming Languages, PhD Thesis, The Institute of Theoretical and Applied Informatics PAS, Warsaw, 2008.
16. S. Gay, Bibliography on Quantum Programming Languages, web-page http://www.dcs.gla.ac.uk/simon/quantum/, 2007.
17. T. Altenkirch and J. Grattage, "A functional quantum programming language", Proc. Annual IEEE Symposium on Logic in Computer Science 1, 249-258 (2005).
18. E. Knill, "Conventions for quantum pseudocode", Technical Report LAUR-96-2724 1, CD-ROM (1996).
19. B. Oeme, Structured Quantum Programming, PhD Thesis, Technical University of Vienna, Vienna, 2003.
20. S.A. Cook and R.A. Reckhow, "Time-bounded random access machines", Proc. forth Annual ACM Symposium on Theory of Computing 1, 73-80 (1973).
21. C.H. Papadimitriou, Computational Complexity, Addison Wesley Publishing Company, New York, 1994.
22. J.C. Shepherdson and H.E. Strugis, "Computability of recursive functions", J. ACM 10 (2), 217-255 1963.
23. R. Cleve and D.P. DiVincenzo, "Schumacher's quantum data compression as a quantum computation", Phys. Rev. A 54 (4), 2636-2650 (1996).
24. T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C. Stein, Introduction to Algorithms, The MIT Press, London, 2001.
25. J.E. Hopcroft and J.D. Ullman, Introduction to the Theory of Automata, Language, PWN Scientific Publishing House, Warsaw, 2003, (in Polish).
26. S. Bettelli, Toward an Architecture for Quantum Programming, PhD Thesis, Università di Trento, Trento, 2002.
27. P. Gawron, High Level Programming in Quantum Computer Science, PhD Thesis, The Institute of Theoretical and Applied Informatics PAS, Warsaw, 2008.
28. B. Oemer, Quantum Programming in QCL, Master Thesis, TU Viena, Vienna, 2000.
29. P. Gawron and J.A. Miszczak, "Didactic tools for teaching quantum informatics", Annales UMCS Informatica AI 1 (2), 77-79 (2004).
30. P. Gawron and J.A. Miszczak, "Simulations of quantum systems evolution with quantum-octave package", Annales UMCS Informatica AI 1 (2), 52-63 (2004).
31. P. Gawron and J.A. Miszczak, "Numerical simulations of mixed states quantum computation", Int. J. Quan. Inf. 3 (1), 195-199 (2005).
32. J.W. Eaton, GNU Octave Manual, Network Theory Limited, New York, 2002.
33. L. Grover, "A fast quantum mechanical algorithm for database search", Proc. 28th Annual ACM Symposium on the Theory of Computation 1, 212-219 (1996).
34. L.K. Grover, "Quantum mechanics helps in searching for a needle in a haystack", Phys. Rev. Lett. 79, 325 (1997).
35. L.K. Grover, "A framework for fast quantum mechanical algorithms", Proc. 30th Annual ACM Symposium on Theory of Computing (STOC) 1, 53-62 (1998).
36. S. Bugajski, "Quantum search", Archives of Theoretical and Applied Informatics 13 (2), 143-150 (2001).
37. S.J. Lomonaco, "Grover's quantum search algorithm", Proc. Symposia in Applied Mathematics 58, 181-192 (2002).
38. Project quantum-octave, http://quantum-octave.sf.net/, 2007.