论文精选 61
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of …
领域：quant-ph作者：Chengkai Zhu、Ziao Tang、Guocheng Zhen
#quant-ph · 1 条相关内容
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of …