Bidlingmaier，Martin E。；弗洛里安·费索尔；溅出物，Bas 概率规划同伦型理论中的合成拓扑。 （英语） Zbl 1517.68072号 数学。结构。计算。科学。 31，第10号，1301-1329（2021）.MSC公司：68甲19 03B38型 03层60 2012年2月6日 18对25 18个C20 18 C50 18号45 第28页，共15页 55单位35 68号30 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Bidlingmaier}等人，《数学》。结构。计算。科学。31，第10号，1301--1329（2021；Zbl 1517.68072） 全文： 内政部 arXiv公司
凯文·巴茨；陈明帅；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；菲利普·施罗德 格型归纳法及其在概率程序中的应用。 （英语） Zbl 1493.68204号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 524-549 (2021).MSC公司：60年第68季度 06B23号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Batz}等人，Lect。注释计算。科学。12760524-549（2021年；兹比尔1493.68204） 全文： 内政部 arXiv公司 OA许可证