Stream: quantum computing

Topic: biblio


view this post on Zulip Anthony Bordg (Jul 04 2019 at 08:52):

To work on the Isabelle Marries Dirac library I recommend the book
Quantum Computation and Quantum Information by Michael A. Nielsen & Isaac L. Chuang (10th Anniversary Edition, Cambridge University Press, 2010).

view this post on Zulip Anthony Bordg (Jul 04 2019 at 09:00):

@Yijun He @Hanna Lachnitt It's not necessary to write a short biblio at the end of each theory file. We will create a biblio file before submission to the AFP anyway.
In the meantime please use this topic to share your references.


Last updated: Oct 01 2022 at 11:21 UTC