PyZX公司 swMATH编号： 40901 软件作者： 基辛格，Aleks；约翰·范德韦特林 描述： PyZX：大规模自动图表推理。ZX演算是一种用于推理ZX图的图形语言，ZX图是一种张量网络，可以表示量子位之间的任意线性映射。使用ZX演算，我们可以直观地推理量子理论，优化和验证量子电路。在本文中，我们介绍了PyZX，一个用于使用大型ZX图进行自动推理的开放源码库。我们简要介绍了ZX演算，然后展示了PyZX如何实现电路优化、等式验证和可视化的方法，以及如何与其他软件一起使用。最后，我们提出了一系列挑战，这些挑战一旦解决，将增强自动图表推理的实用性。 主页： https://pyzx.readthedocs.io/en/latest/ 源代码： https://github.com/Quantomatic/pyzx 依赖项： 蟒蛇 相关软件： 镊子;项目Q;量子力学;cQASM公司;打开QASM;数字Py;皮特基特;github;朱庇特;马特普洛特利布;DiZX公司;蟒蛇;OpenFermion公司;YaoTensor网络.jl;豪华备件.jl;KrylovKit.jl公司;静态阵列.jl;ZX计算器.jl;姚杰;姚浪.jl 引用于： 6文件 标准文章 2出版物描述软件，包括2出版物以zbMATH为单位 年份 用ZX演算简化混合量子经典电路。 兹比尔1507.68114阿古斯汀·博尔格纳;西蒙·佩德里克;贝诺缬氨酸 2021 PyZX：大规模自动图表推理基辛格，Aleks；约翰·范德韦特林 2020 全部的 前5名17位作者引用 2 鲍勃·科克 2 约翰·范德韦特林 1 艾米、马修 1 罗伯特·I·布斯。 1 阿古斯汀·博尔格纳 1 蒂图安·卡雷特 1 乔瓦尼·德·费利斯 1 多米尼克·霍斯曼 1 基辛格，亚历克斯 1 托马斯·拉科宁 1 康斯坦蒂诺斯·梅恰内齐迪斯 1 西蒙·佩德里克 1 波奥尔，博尔迪扎尔 1 Alexis图米 1 贝诺缬氨酸 1 王全龙 1 是的，Lia 连载1篇 1 理论计算机科学 在5个字段中引用 6 量子理论（81-XX） 4 计算机科学（68至XX） 1 范畴理论；同调代数（18-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文