Theoretical
- 161
- The Quantum Circuits Group, University of Michigan
- Automated synthesis, simulation and testing of conventional and quantum logic circuits.
- 162
- Artiste Company
- Commercial site offering software for Quantum Computer simulation and simulation of other quantum mechanical behavior.
- 163
- Bibliography on Quantum Programming Languages
- Bibliography by Simon Gay gathering references to papers about theoretical aspects and implementations of quantum programming languages.
- 164
- LanQ Quantum Programming Language
- LanQ is an implementation of an imperative quantum programming language supporting execution of multiple processes in parallel.
- 165
- QCL - Quantum Computation Language
- Documentation and the source code for the QCL, high level, architecture independent programming language for quantum computers.
- 166
- libquantum
- A C library for the simulation of a quantum computer. It provides all important operations and the simulation of decoherence effects.
- 167
- CCC 2003
- 18th IEEE Conference on Computational Complexity. BRICS, University of Aarhus, Denmark; 7--10 July 2003.
- 168
- Centennial Seminar on Kolmogorov Complexity and Applications
- Schloss Dagstuhl, Wadern, Germany; 27 April -- 2 May 2003.
- 170
- Faster Exact Solutions for NP-Hard Problems
- DIMACS Workshop, Princeton, NJ, USA; 23-24 February 2000.