调皮工

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


zbMATH中的参考文献(参考文献26条)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. 梅耶洛夫一世。;利尼诺夫,A。;伊万琴科,M。;杰尼索夫,S.:复杂量子动力学建模:HPC环境下数值算法的演变(2020)
  2. 雷内拉,马西丝;Sam Staton:丰富范畴理论中的经典控制、量子电路和线性逻辑(2020)
  3. 亚伯,安德烈亚斯;阿拉斯,纪尧姆;哈米尔,阿利娅;皮恩卡,布里吉特;阿尔伯特莫米亚诺;附表ä喂,史蒂文;斯塔克,凯瑟琳:波普马克重新加载:逻辑关系的机械化证明(2019)
  4. Amy,Matthew:《低级量子元编程的规模类型》(2019)
  5. Dí阿兹卡罗,亚历杭德罗;Malherbe,Octavio:lambda-(\mathcalS)的具体范畴语义(2019)
  6. 菲利昂·古尔多,F。;Lorin,E.:对称一阶线性双曲系统的简单数字量子算法(2019)
  7. 马哈茂德,穆罕默德·尤斯里;Felty,Amy P.:线性逻辑中Quiper量子编程语言的元理论形式化(2019)
  8. 帕里尼,卢卡;短笛,毛罗;Zorzi,Margherita:QPCF:高阶语言和量子电路(2019)
  9. 应明生:走向量子程序的自动验证(2019)
  10. 安提科利,琳达;Ghahi,Masoud Gharahi:使用演化纠缠超图模拟量子协议中的三方纠缠(2018)
  11. Chernyavskiy,A。于。;沃沃丁,Vad。五、 。;沃沃丁,Vl。五、 :噪声量子电路模拟的并行计算结构(2018)
  12. 马哈茂德,穆罕默德·尤斯里;Felty,Amy P.:量子编程语言的正式元级分析框架(2018)
  13. 内森·基洛兰、乔希·伊萨克、尼科尔ás Quesada,Ville Bergholm,Matthew Amy,Christian Weedbrook:草莓田:光子量子计算的软件平台(2018)阿尔十四
  14. 英,盛钢;Ying,Mingsheng:量子马尔可夫决策过程的可达性分析(2018)
  15. 曹,肯塔;Jacobs,Bart:EfProb概率计算库(2017)
  16. Hasuo,一郎;Hoshino,Naohiko:通过相互作用几何实现高阶量子计算的语义(2017)
  17. 父母,亚历克斯;罗特勒,马丁;Svore,Krysta M.:REVS:空间优化可逆电路合成工具(2017)
  18. 舍勒,阿图尔;瓦利隆,贝诺ît;毛秀全;亚历山大,斯科特;范登伯格,埃里克;Chapuran,Thomas E.:用于计算二维目标电磁散射截面的量子线性系统算法的具体资源分析(2017)
  19. 史蒂文斯,凯利E。;阿米尼,杰森·M。;多雷特,S。查尔斯;莫勒,格雷格;沃林,柯蒂斯;Harter,Alexa W.:自动化量子实验控制。从电路编译到离子布线(2017)
  20. 安提科利,琳达;广场,卡拉;达格利亚莱涅,莱昂纳多;Zuliani,Paolo:走向量子计划验证:从Quiper电路到QPMC(2016)