陈玉芳;菲利普·吕默;蔡伟伦 笛卡尔阵列理论（在量子电路验证中的应用）。 （英语） Zbl 07838486号 Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 170-189 (2023).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.-F.Chen}等人，Lect。注释计算。科学。14132170-189（2023年；兹比尔07838486） 全文： 内政部
盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park，Junkil公园;卡迪尔，沙兹;克拉克·巴雷特;塞萨尔·蒂内利 关于向量的推理：序列理论的可满足模。 （英语） Zbl 07753651号 J.汽车。推理 67，第3号，第32号论文，第34页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，J.Autom。推理67，第3号，论文32，34页（2023；Zbl 07753651） 全文： 内政部