Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information (Q7361616)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Isabelle_Marries_Dirac
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information |
AFP entry Isabelle_Marries_Dirac |
Statements
22 November 2020
0 references
Anthony Bordg
0 references
Hanna Lachnitt
0 references
Yijun He
0 references
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information (English)
0 references
This work is an effort to formalise some quantum algorithms and results in quantum information theory. Formal methods being critical for the safety and security of algorithms and protocols, we foresee their widespread use for quantum computing in the future. We have developed a large library for quantum computing in Isabelle based on a matrix representation for quantum circuits, successfully formalising the no-cloning theorem, quantum teleportation, Deutsch's algorithm, the Deutsch-Jozsa algorithm and the quantum Prisoner's Dilemma.
0 references
