调皮工

Quiper中的量子编程简介。Quipper是最近发展起来的一种表达量子计算的编程语言。本文通过演示如何利用它的一些关键特性,对该语言进行了简要的教程介绍。我们通过发展量子计算的几个著名例子来说明奎伯的语言特性,包括量子隐形传态,量子傅立叶变换,以及用于加法的量子电路。


zbMATH参考文献(参考 25篇文章 引用)

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. 雷内拉,马西斯;斯塔顿,山姆:经典控制,量子电路和丰富范畴理论中的线性逻辑(2020)
  2. 亚伯,安德烈亚斯;阿拉斯,纪尧姆;哈米尔,阿里亚;皮恩特卡,布里吉特;莫米利亚诺,阿尔伯托;施卡弗,史蒂文;斯塔克,凯瑟琳:波普尔马克重新加载:逻辑关系的机械化证明(2019年)
  3. Amy,Matthew:《低级量子元编程的规模类型》(2019)
  4. Díaz Caro,Alejandro;Malherbe,Octavio:lambda-(\mathcalS)的具体范畴语义(2019)
  5. Fillion Gourdeau,F.;Lorin,E.:对称一阶线性双曲系统的简单数字量子算法(2019)
  6. Mahmoud,Mohamed Yousri;Felty,Amy P.:线性逻辑中Quiper量子编程语言的元理论形式化(2019)
  7. Paolini,Luca;Piccolo,Mauro;Zorzi,Margherita:QPCF:高阶语言和量子电路(2019)
  8. 量子程序自动验证(2019年明晟自动验证)
  9. Anticoli,Linda;Ghahi,Masoud Gharahi:使用演化纠缠超图模拟量子协议中的三方纠缠(2018)
  10. Chernyavskiy,A.Yu.;沃沃沃丁,Vad。五、 伏沃丁,Vl。五、 :噪声量子电路模拟的并行计算结构(2018)
  11. Mahmoud,Mohamed Yousri;Felty,Amy P.:量子编程语言的正式元级分析框架(2018)
  12. Nathan Killoran,Josh Izaac,Nicolas Quesada,Ville Bergholm,Matthew Amy,Christian Weedbrook:草莓田:光子量子计算的软件平台(2018)阿尔十四
  13. Ying,Shenggang;Ying,Mingsheng:量子马尔可夫决策过程的可达性分析(2018)
  14. Cho,Kenta;Jacobs,Bart:EfProb概率计算库(2017)
  15. Hasuo,Ichiro;Hoshino,Naohiko:通过相互作用几何实现高阶量子计算的语义(2017)
  16. Parent,Alex;Roetteler,Martin;Svore,Krysta M.:REVS:空间优化可逆电路综合工具(2017)
  17. Scherer,Artur;Valiron,Benoît;Mau,Siun Chuan;Alexander,Scott;van den Berg,Eric;Chapuran,Thomas E.:用于计算二维目标电磁散射截面的量子线性系统算法的具体资源分析(2017年)
  18. Stevens,Kelly E.;Amini,Jason M.;Doret,S.Charles;Mohler,Greg;Volin,Curtis;Harter,Alexa W.:自动化量子实验控制。从电路编译到离子布线(2017)
  19. Anticoli,Linda;Piazza,Carla;Taglialegne,Leonardo;Zuliani,Paolo:走向量子程序验证:从Quiper电路到QPMC(2016)
  20. Damian S.Steiger,Thomas Haner,Matthias Troyer:ProjectQ:量子计算的开源软件框架(2016)阿尔十四