Construction of reasoning library for realization of computer verification system
Construction of reasoning library for realization of computer verification system
计算机验证系统实现推理库的构建
批准号：
23500029
负责人：
ENDOU Noboru
金额：
$2.83万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2011
资助国家：
日本
项目状态：
已结题
起止时间：
2011-04-28 至 2015-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Double Series and Sums
双级数和和
双级数和和
DOI：
10.2478/forma-2014-0006
发表时间：
2014
期刊：
Formalized Mathematics
影响因子：
0.3
作者：
[Yoshinori Aono, Xavier Boyen, Le Trieu Phong, Lihua Wang, Noboru Endou]
通讯作者：
Noboru Endou
Double Sequences and Limits
双数列和极限
双数列和极限
DOI：
10.2478/forma-2013-0018
发表时间：
2013
期刊：
Formalized Mathematics
影响因子：
0.3
作者：
[Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama]
通讯作者：
Yasunari Shidama
The Linearity of Riemann Integral on Functions from R into Real Banach Space
R到实Banach空间函数黎曼积分的线性
R到实Banach空间函数黎曼积分的线性
DOI：
10.2478/forma-2013-0020
发表时间：
2013
期刊：
Formalized Mathematics
影响因子：
0.3
作者：
[Keiko Narita, Noboru Endou, Yasunari Shidama]
通讯作者：
Yasunari Shidama
Sigmarign and Sigmaalgebra of Sets
西格玛林和集合的西格玛代数
西格玛林和集合的西格玛代数
DOI：
10.2478/forma-2015-0004
发表时间：
2015
期刊：
Formalized Mathematics
影响因子：
0.3
作者：
[Noboru Endou, Kazuhisa Nakasho and Yasunari Shidama]
通讯作者：
Kazuhisa Nakasho and Yasunari Shidama
Differentiation in Normed Spaces
规范空间的微分
规范空间的微分
DOI：
10.2478/forma-2013-0011
发表时间：
2013
期刊：
Formalized Mathematics
影响因子：
0.3
作者：
[Noboru Endou, Yasunari Shidama]
通讯作者：
Yasunari Shidama
共 13 条
海外基金