×

找到820个文档(结果1-100)

勒贝格归纳原理和托内利定理的Coq形式化。 (英语) Zbl 1529.68315号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 39-55 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

合理内部函数的Clark度量II:一般比例尺和更高维度。 arXiv:2303.11248

预印本,arXiv:2303.11248[math.FA](2023)。
BibTeX公司 引用
全文: arXiv公司

Riemann意义下平面上的伪Fubini整函数。 (英语) Zbl 07739241号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

反泛函和伪泛函。 (英语) Zbl 1482.46023号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于拟凸密度测度的Brunn-Minkowski不等式。 (英语) Zbl 1439.52008年

PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合更新风险模型中等价鞅概率测度的特征及其在风险理论中的应用。 arXiv:2007.09051号

预印本,arXiv:2007.09051[math.PR](2020)。
BibTeX公司 引用
全文: arXiv公司

撤回:边际、随机过程的可测量修改和产品提升问题。 arXiv:1707.02807

预印本,arXiv:1707.02807[math.PR](2017);撤回通知同上。
BibTeX公司 引用
全文: arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份