Anthony Bordg (Jul 04 2019 at 08:52): 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).
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: Apr 25 2024 at 08:20 UTC