Isabelle/HOL中的量子投影测量和CHSH不等式。

Mnacho Echenim公司迈赫迪·姆哈拉 Isabelle/HOL中的量子投影测量和CHSH不等式。 2021 abs/2103.08535 CoRR公司 https://arxiv.org/abs/2103.08535 数据库/期刊/cor/corr2103.html#abs-2103-08535