×

找到38份文件(结果1-38)

闭区间上连续函数性质的形式化。 (英语) Zbl 1503.68298号

Bigatti、Anna Maria(编辑)等人,《数学软件——ICMS 2020》。第七届国际会议,德国布伦瑞克,2020年7月13日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12097, 272-280 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

增加功能的建设性连续性。 (英语) Zbl 07285501号

Kosheleva,Olga(编辑)等人,《超越传统概率数据处理技术:区间、模糊等方法及其应用》。在弗拉基克·克雷诺维奇65岁生日之际致敬他。查姆:斯普林格。螺柱计算。智力。835, 9-19 (2020).
MSC公司:68层37 03层60 26甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图像处理和跳跃回归分析。 (英语) Zbl 1070.68146号

概率统计中的威利级数新泽西州霍博肯:John Wiley&Sons(ISBN 0-471-42099-9/hbk;978-0-471-73315-7/电子书)。xxiii,305页。(2005年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

传感器指定的连续实函数的一些极值问题。 (英语。俄文原件) Zbl 1066.68068号

赛博。系统。分析。 39,第6期,921-926(2003); 翻译自Kibern。修女。分析。2003年,第6期,第170-176页(2003年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

PVS中的先验函数和连续性检查。 (英语) Zbl 0974.68190号

Aagaard,Mark(ed.)等人,高阶逻辑中的定理证明。2000年8月14日至18日在美国俄勒冈州波特兰举行的第13届TPHOLs 2000国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1869, 197-214 (2000).
MSC公司:第68页第15页 68瓦30 26A09号 26甲15
PDF格式BibTeX公司 XML格式引用

自动生成epsilon-delta连续性证明。 (英语) Zbl 0914.03012号

Calmet,Jacques(编辑)等人,《人工智能和符号计算》。1998年9月16日至18日在美国纽约州普拉茨堡举行的1998年AISC国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1476, 67-83 (1998).
MSC公司:03B35型 第68页第15页 26甲15
PDF格式BibTeX公司 XML格式引用

使用宏变换器指定度量空间中的部分连续运算符。 (英语。俄文原件) Zbl 0895.54018号

赛博。系统。分析。 32,第5号,625-631(1996); 翻译自Kibern。修女。分析。1996年,第5期,18-29(1996)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份