奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;米纳·马哈扬 将策略构建到QBF证明中。 (英语) Zbl 07356969号 J.汽车。推理 65,编号1,125-154(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,J.Autom。推理65,No.1,125--154(2021;Zbl 07356969) 全文: 内政部
纪尧姆·安巴尔;朗格莱,塞尔盖伊;阿兰·施密特 \Coq中的(\mathrm{HO}\pi\)。 (英语) Zbl 07356968号 J.汽车。推理 65,编号1,75-124(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Ambal}等人,J.Autom。推理65,No.1,75--124(2021;Zbl 07356968) 全文: 内政部
达尼耶拉·西米奇;菲利普·马里奇;皮埃尔·布特里 双曲几何的庞加莱圆盘模型的形式化。 (英语) Zbl 07356967号 J.汽车。推理 65,编号1,31-73(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Simić}等人,J.Autom。推理65,No.1,31--73(2021;Zbl 07356967) 全文: 内政部 哈尔
关、勇;张敬之;王国辉;李锡盟;石志平;李永东 基于HOL光变分法的欧拉-拉格朗日方程组的形式化。 (英语) Zbl 07356966号 J.汽车。推理 65,编号1,1-29(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Guan}等人,J.Autom。推理65,No.1,1-29(2021;Zbl 07356966) 全文: 内政部