咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 s dilemma
  • 1 篇 quantum computin...
  • 1 篇 deutsch&#8217
  • 1 篇 quantum teleport...
  • 1 篇 isabelle
  • 1 篇 no-cloning
  • 1 篇 certification
  • 1 篇 deutsch&#8211
  • 1 篇 s algorithm
  • 1 篇 quantum prisoner...
  • 1 篇 hol
  • 1 篇 jozsa algorithm

机构

  • 1 篇 univ cambridge d...
  • 1 篇 univ cambridge c...
  • 1 篇 stanford univ de...

作者

  • 1 篇 bordg anthony
  • 1 篇 lachnitt hanna
  • 1 篇 he yijun

语言

  • 1 篇 英文
检索条件"主题词=Jozsa algorithm"
1 条 记 录,以下是1-10 订阅
排序:
Certified Quantum Computation in Isabelle/HOL
收藏 引用
JOURNAL OF AUTOMATED REASONING 2021年 第5期65卷 691-709页
作者: Bordg, Anthony Lachnitt, Hanna He, Yijun Univ Cambridge Dept Comp Sci & Technol Cambridge England Stanford Univ Dept Comp Sci Stanford CA 94305 USA Univ Cambridge Cambridge England
In this article we present an ongoing effort to formalise quantum algorithms and results in quantum information theory using the proof assistant Isabelle/HOL. Formal methods being critical for the safety and security ... 详细信息
来源: 评论