AFP Submission (5 messages, latest: Oct 16 2020 at 18:48)
quantum Fourier transform (90 messages, latest: Oct 28 2019 at 20:24)
project ideas (1 message, latest: Oct 17 2019 at 17:27)
work in progress (6 messages, latest: Oct 14 2019 at 16:13)
basics (3 messages, latest: Oct 14 2019 at 12:05)
quantum prisoner’s dilemma (50 messages, latest: Oct 06 2019 at 20:52)
Quantum.thy (21 messages, latest: Oct 04 2019 at 13:38)
table of contents (5 messages, latest: Aug 23 2019 at 21:17)
Deutsch-Jozsa (142 messages, latest: Aug 21 2019 at 16:08)
Measurement (1 message, latest: Aug 20 2019 at 17:11)
issue #11 (13 messages, latest: Aug 01 2019 at 17:06)
root (7 messages, latest: Jul 29 2019 at 22:57)
binary representation (16 messages, latest: Jul 29 2019 at 14:38)
Session? (2 messages, latest: Jul 29 2019 at 13:27)
(* _ *) vs text < _ > (1 message, latest: Jul 06 2019 at 10:50)
Deutsch (4 messages, latest: Jul 05 2019 at 20:17)
Embedding (1 message, latest: Jul 04 2019 at 20:36)
talk (2 messages, latest: Jul 04 2019 at 13:36)
biblio (2 messages, latest: Jul 04 2019 at 09:00)
instantiation of bounded operators (1 message, latest: Jul 04 2019 at 07:14)
Hilbert space and bounded operators (2 messages, latest: Jul 03 2019 at 08:15)
hello (1 message, latest: Jul 02 2019 at 13:31)
Last updated: Jan 22 2021 at 14:00 UTC