傅耀顺;于文生 闭区间上连续函数性质的形式化。 (英语) Zbl 1503.68298号 Bigatti、Anna Maria(编辑)等人,《数学软件——ICMS 2020》。第七届国际会议,德国布伦瑞克,2020年7月13日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。120972-280(2020年)。MSC公司:68V20型 03B35型 26A03号 26甲15 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fu}和\textit{W.Yu},Lect。注释计算。科学。12097、272--280(2020年;Zbl 1503.68298) 全文: 内政部
雷纳尔德·阿弗尔德;西里尔·科恩;Damien Rouhling公司 经典分析中渐近推理的形式化技术。 (英语) Zbl 1451.68329号 J.福尔马利兹。原因。 11, 43-76 (2018).MSC公司:68V20型 26A03号 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人,J.Formaliz。原因。11,43-76(2018年;兹比尔1451.68329) 全文: 内政部
西尔维·博尔多;凯瑟琳·勒雷;纪尧姆·梅尔金德 真实分析的形式化:对校对助理和图书馆的调查。 (英语) Zbl 1364.68327号 数学。结构。计算。科学。 26,第7期,1196-1233(2016).MSC公司:68吨15 26-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,数学。结构。计算。科学。26,第7号,1196--1233(2016;Zbl 1364.68327) 全文: 内政部
乌迈尔·西迪克;奥斯曼·哈桑;索菲涅·塔哈尔 面向高阶逻辑中分数阶微积分的形式化。 (英语) Zbl 1417.68194号 Kerber,Manfred(编辑)等人,《智能计算机数学》。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。9150, 316-324 (2015).MSC公司:68吨15 26A33飞机 PDF格式BibTeX公司 XML格式引用 \textit{U.Siddique}等人,Lect。注释计算。科学。9150316-324(2015;Zbl 1417.68194) 全文: 内政部 arXiv公司