克利斯朵夫·查尔顿;塞巴斯蒂安·巴丁;弗朗索瓦·博博特;瓦伦丁·佩雷尔;贝诺缬氨酸 用于电路构建量子程序的自动演绎验证框架。 (英语) Zbl 1473.68106号 Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12648, 148-177 (2021).MSC公司:60年第68季度 68号30 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.Chareton}等人,Lect。注释计算。科学。12648、148--177(2021年;Zbl 1473.68106) 全文: 内政部 arXiv公司
阿图尔·谢勒;贝诺缬氨酸;绍恩·库恩·茂;斯科特·亚历山大;埃里克·范登伯格;托马斯·查普兰(Thomas E.Chapuran)。 用于计算二维目标电磁散射截面的量子线性系统算法的具体资源分析。 (英语) Zbl 1374.81032号 量子信息处理。 16,第3号,第60号文件,第65页(2017).MSC公司:81页68 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Scherer}等人,《量子信息处理》。16,第3号,第60号论文,65页(2017;Zbl 1374.81032) 全文: 内政部 arXiv公司