西尔维·博尔多;弗朗索瓦·克莱门特;文森特·马丁;米凯拉·梅耶罗;侯达·穆钦 Lebesgue归纳原理和Tonelli定理的一个Coq形式化。 (英语) Zbl 1529.68315号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 39-55 (2023).MSC公司:68V20型 第26页第42页 26B15号 28A35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,Lect。注释计算。科学。14000,39-55(2023;Zbl 1529.68315) 全文: 内政部 哈尔
丹尼尔·蒙迪奇 罗塔岛的福比尼讲座:第一个问题。 (英语) Zbl 1475.60006号 高级申请。数学。 125,文章ID 102153,30 p.(2021).MSC公司:60A05型 第65页 28A60型 60A10英寸 PDF格式BibTeX公司 XML格式引用 \textit{D.Mundici},高级应用程序。数学。125,文章ID 102153,30 p.(2021;Zbl 1475.60006) 全文: 内政部
诺博鲁恩多 一维勒贝格测度的重建。 (英语) Zbl 1462.68224号 福尔马利兹。数学。 28,第1期,93-104(2020年).MSC公司:68V20型 28甲12 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou},福尔马利兹。数学。28,第1号,93--104(2020;Zbl 1462.68224) 全文: 内政部
诺博鲁恩多 福比尼定理。 (英语) 兹比尔1422.28002 福尔马利兹。数学。 27,第1号,67-74(2019).MSC公司:28A35型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou},福尔马利兹。数学。27,第1号,67--74(2019年;Zbl 1422.28002) 全文: 内政部
诺博鲁恩多 非负或非正函数的Fubini定理。 (英语) Zbl 1401.28007号 福尔马利兹。数学。 26,第1号,49-67(2018).MSC公司:28A35型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou},福尔马利兹。数学。26,第1号,49-67(2018;Zbl 1401.28007) 全文: 内政部
诺博鲁恩多 非正函数的积分。 (英语) Zbl 1381.26010号 福尔马利兹。数学。 25,第3期,227-240(2017).MSC公司:26A39飞机 28A25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou},福尔马利兹。数学。25,第3号,227--240(2017;Zbl 1381.26010) 全文: 内政部
穆罕默德·卡西姆;奥斯曼·哈桑;梅萨·埃卢克;索菲涅·塔哈尔 HOL中正态随机变量的形式化。 (英语) 兹比尔1344.68212 Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,44-59(2016)。MSC公司:68吨15 28A99号 60A10英寸 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Qasim}等人,Lect。注释计算。科学。9791,44-59(2016;Zbl 1344.68212) 全文: 内政部
Yao,Y.Y.姚。;黄,S.K.M。;Wang,L.S。 不确定推理的非数值方法。 (英语) Zbl 0850.68298号 国际通用系统杂志。 23,第4期,343-359(1995).MSC公司:68T27型 03B80号 28E10型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Y.Yao}等人,《国际遗传学系统》。23,第4号,343--359(1995;Zbl 0850.68298) 全文: 内政部