Title

Extending scientific computing system with structural quantum programming capabilities

Journal title

Bulletin of the Polish Academy of Sciences Technical Sciences

Yearbook

2010

Volume

58

Issue

No 1

Authors

Gawron, P. ; Klamka, J. ; Miszczak, J. ; Winiarczyk, R.

Divisions of PAS

Nauki Techniczne

Coverage

77-88

Date

2010

Identifier

DOI: 10.2478/v10175-010-0008-4 ; ISSN 2300-1917

Source

Bulletin of the Polish Academy of Sciences: Technical Sciences; 2010; 58; No 1; 77-88

References

Nielsen M. (2000), Quantum Computation and Quantum Information. ; Hirvensalo M. (2001), Quantum Computing. ; Bugajski S. (2001), Foudations of quantum computing, Part I, Archives of Theoretical and Applied Informatics, 13, 1, 97. ; Bugajski S. (2001), Foudations of quantum computing. Part II, Archives of Theoretical and Applied Informatics, 13, 1, 137. ; Shor P. (2003), Why haven't more quantum algorithms been found?, ACM, 50, 1, 87. ; Shor P. (2004), Progress in quantum algorithms, Quantum Information Processing, 3, 1. ; Deutsch D. (1985), Quantum theory, the Church-Turing principle and the universal quantum computer, Proc. Roy. Soc. Lond, A 400, 97. ; Deutsch D. (1989), Quantum computational networks, Proc. Roy. Soc. Lond, A 425, 73. ; Bettelli S. (2003), Toward an architecture for quantum programming, Eur. Phys. J. D, 25, 2, 181. ; Gudder S. (2003), Quantum computational logic, Int. J. Theoretical Physics, 1, 42, 39. ; A. van Tonder (2004), A lambda calculus for quantum computation, SIAM J. COMPUT, 33, 1109. ; Moore C. (2000), Quantum automata and quantum grammars, Theoretical Computer Science, 237, 1-2, 275. ; Bernstein E. (1997), Quantum complexity theory, SIAM J. on Computing, 26, 5, 1411. ; Gay S. (2005), Quantum programming languages: Survey and bibliography, Bull. Eur. Association for Theoretical Computer Science, 1. ; J. A. Miszczak, <i>Probabilistic Aspects of Quantum Programming Languages</i>, PhD Thesis, The Institute of Theoretical and Applied Informatics PAS, Warsaw, 2008. ; S. Gay, <i>Bibliography on Quantum Programming Languages</i>, web-page <a target="_blank" href='http://www.dcs.gla.ac.uk/~simon/quantum/'>http://www.dcs.gla.ac.uk/~simon/quantum/</a> ; Altenkirch T. (2005), A functional quantum programming language, null, 1, 249. ; E. Knill, "Conventions for quantum pseudocode", <i>Technical Report LAUR-96-2724</i> 1, CD-ROM (1996). ; B. Oeme, <i>Structured Quantum Programming</i>, PhD Thesis, Technical University of Vienna, Vienna, 2003. ; Cook S. (1973), Time-bounded random access machines, null, 1, 73. ; Papadimitriou C. (1994), Computational Complexity. ; Shepherdson J. (1963), Computability of recursive functions, J. ACM, 10, 2, 217. ; Cleve R. (1996), Schumacher's quantum data compression as a quantum computation, Phys. Rev, A 54, 4, 2636, doi.org/10.1103/PhysRevA.54.2636 ; Cormen T. (2001), Introduction to Algorithms. ; Hopcroft J. (2003), Introduction to the Theory of Automata, Language. ; S. Bettelli, <i>Toward an Architecture for Quantum Programming</i>, PhD Thesis, Università di Trento, Trento, 2002. ; P. Gawron, <i>High Level Programming in Quantum Computer Science</i>, PhD Thesis, The Institute of Theoretical and Applied Informatics PAS, Warsaw, 2008. ; B. Oemer, <i>Quantum Programming in QCL</i>, Master Thesis, TU Viena, Vienna, 2000. ; Gawron P. (2004), Didactic tools for teaching quantum informatics, Annales UMCS Informatica, AI 1, 2, 77. ; Gawron P. (2004), Simulations of quantum systems evolution with quantum-octave package, Annales UMCS Informatica, AI 1, 2, 52. ; Gawron P. (2005), Numerical simulations of mixed states quantum computation, Int. J. Quan. Inf, 3, 1, 195. ; Eaton J. (2002), GNU Octave Manual. ; Grover L. (1996), A fast quantum mechanical algorithm for database search, null, 1, 212. ; Grover L. (1997), Quantum mechanics helps in searching for a needle in a haystack, Phys. Rev. Lett, 79, 325. ; Grover L. (1998), A framework for fast quantum mechanical algorithms, null, 1, 53. ; Bugajski S. (2001), Quantum search, Archives of Theoretical and Applied Informatics, 13, 2, 143. ; Lomonaco S. (2002), Grover's quantum search algorithm, null, 58, 181. ; Project quantum-octave <a target="_blank" href='http://quantum-octave.sf.net/'>http://quantum-octave.sf.net/</a>