#HSW定理

共 1 条 · 7 天 0 条 · 30 天 0 条

Lean 4 1 Lean-QIT 1 形式化验证 1 量子源编码定理 1

信息流里打上「HSW定理」标签的资讯、产品与论文，按刊登时间排，新的在上。

7月13日

Lean-QIT：面向量子信息论的形式化基础设施

想用机器验证量子编码定理？Lean-QIT在Lean 4里搭好了整套框架，连HSW定理都形式化了，做量子信息形式化研究的朋友可以复用。

#Lean-QIT #Lean 4 #量子源编码定理 #HSW定理

arXiv cs.AI@Chengkai Zhu 等 9 人原文