×

找到115个文档（结果1-100）

最新的 引文 关联
亚当·瑙莫维奇

在Mizar中扩展数论形式化的数字自动化。 （英语） Zbl 07810742号

Dubois，Catherine（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5日至8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14101, 309-314 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Naumowicz}，莱克特。票据计算。科学。14101、309--314（2023；Zbl 07810742）
全文： DOI程序
芙蓉岛、秀君;大池山口;Shigenaka、Seigo;中关村，Kazuhisa;Katsumi Wasaki

Mizar数学图书馆的集成web平台。 （英语） Zbl 07691295号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 141-146 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Furushima}等人，Lect。票据计算。科学。13467，141--146（2022；Zbl 07691295）
全文： DOI程序 arXiv公司
科林·罗斯冈;阿图尔·科尔尼·奥维茨;弗洛里安·拉贝

Mizar数学库的新导出。 （英语） Zbl 1485.68294号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，第14届国际会议，CICM 2021，罗马尼亚蒂米索阿拉。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12833, 205-210 (2021).
MSC公司：68V20型 68伏30 68伏35
PDF格式BibTeX公司 XML格式引用
\textit{C.Rothgang}等人，Lect。票据计算。科学。12833205-210（2021年；兹比尔1485.68294）
全文： DOI程序
塞萨里·卡利西克;Pak，卡罗尔

声明性证明翻译（短文）。 （英语） Zbl 07649984号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第35条，第7页（2019年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}和\textit{K.Pak}，LIPIcs——莱布尼茨国际程序。通知。141，第35条，第7页（2019年；Zbl 07649984）
全文： DOI程序
乍得·E·布朗。;塞萨里·卡利西克;Pak，卡罗尔

高阶Tarski Grothendieck作为形式证明的基础。 （英语） Zbl 07649958号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第9条，第16页（2019）。
MSC公司：68V20型
PDF格式BibTeX公司 XML格式引用
\textit｛C.E.Brown｝等人，LIPIcs——莱布尼茨国际期刊。通知。141，第9条，第16页（2019年；Zbl 07649958）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件