Study on Logical Similarity between Theorems
Study on Logical Similarity between Theorems
定理之间的逻辑相似性研究
批准号：
20K19863
负责人：
Nakasho Kazuhisa
金额：
$2.66万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2020
资助国家：
日本
项目状态：
已结题
起止时间：
2020-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(25)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ）
托管 Mizar 数学库的 Web 平台（海报演示）
托管 Mizar 数学库的 Web 平台（海报演示）
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[山道 大地, 中正 和久, 和﨑 克己]
通讯作者：
和﨑 克己
Mizar Extension for Visual Studio Code
Visual Studio Code 的 Mizar 扩展
Visual Studio Code 的 Mizar 扩展
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
On Implicit and Inverse Function Theorems on Euclidean Spaces
欧几里得空间上的隐函数和反函数定理
欧几里得空间上的隐函数和反函数定理
DOI：
10.2478/forma-2022-0012
发表时间：
2022
期刊：
Formalized Mathematics
影响因子：
0.3
作者：
[Nakasho Kazuhisa, Shidama Yasunari]
通讯作者：
Shidama Yasunari
Mizar Mathematical Library の依存関係の可視化に関する研究
Mizar数学库依赖关系可视化研究
Mizar数学库依赖关系可视化研究
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[重中 晟吾, 中正 和久, 和﨑 克己]
通讯作者：
和﨑 克己
MIZAR数学ライブラリの依存関係に関する研究
MIZAR数学库依赖关系研究
MIZAR数学库依赖关系研究
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[重中 晟吾, 中正 和久, 和﨑克己]
通讯作者：
和﨑克己
共 24 条
海外基金