调皮工

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


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

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