刷新
{{item.name}}会员
Study on Logical Similarity between Theorems
定理之间的逻辑相似性研究
基本信息
- 批准号：20K19863
- 负责人：
- 金额：$ 2.66万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Early-Career Scientists
- 财政年份：2020
- 资助国家：日本
- 起止时间：2020-04-01 至 2023-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（25）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ）
托管 Mizar 数学库的 Web 平台（海报演示）
- DOI：
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：山道 大地;中正 和久;和﨑 克己
- 通讯作者：和﨑 克己
On Implicit and Inverse Function Theorems on Euclidean Spaces
欧几里得空间上的隐函数和反函数定理
- DOI：10.2478/forma-2022-0012
- 发表时间：2022
- 期刊：
- 影响因子：0.3
- 作者：Nakasho Kazuhisa;Shidama Yasunari
- 通讯作者：Shidama Yasunari
Mizar Mathematical Library の依存関係の可視化に関する研究
Mizar数学库依赖关系可视化研究
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：重中 晟吾;中正 和久;和﨑 克己
- 通讯作者：和﨑 克己
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Nakasho Kazuhisa其他文献
Continuity of Multilinear Operator on Normed Linear Spaces
赋范线性空间上多线性算子的连续性
- DOI：
10.2478/forma-2019-0006 - 发表时间：
2019 - 期刊：
- 影响因子：0.3
- 作者：
Nakasho Kazuhisa;Shidama Yasunari - 通讯作者：
Shidama Yasunari
Implicit Function Theorem. Part II
隐函数定理。
- DOI：
10.2478/forma-2019-0013 - 发表时间：
2019 - 期刊：
- 影响因子：0.3
- 作者：
Nakasho Kazuhisa;Shidama Yasunari - 通讯作者：
Shidama Yasunari
A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection
可扩展多方私有集交集中的实用并行计算
- DOI：
10.1109/candarw53999.2021.00063 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Mishima Seitaro;Nakasho Kazuhisa;Takano Yuuki;Miyaji Atsuko - 通讯作者：
Miyaji Atsuko
Continuity of Bounded Linear Operators on Normed Linear Spaces
赋范线性空间上有界线性算子的连续性
- DOI：
10.2478/forma-2018-0021 - 发表时间：
2018 - 期刊：
- 影响因子：0.3
- 作者：
Nakasho Kazuhisa;Futa Yuichi;Shidama Yasunari - 通讯作者：
Shidama Yasunari
Comparison of Displacement Measurements and Simulation on Fillet Weld of Steel Column Base
钢柱底座角焊缝位移测量与模拟比较
- DOI：
10.11648/j.ijmea.20200805.11 - 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Shimoi Nobuhiro;Cuadra Carlos;Madokoro Hirokazu;Nakasho Kazuhisa - 通讯作者：
Nakasho Kazuhisa
Nakasho Kazuhisa的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
自動定理証明を問題縮小に利用する高性能プランニングアルゴリズムの開発
开发使用自动定理证明来减少问题的高性能规划算法
- 批准号：
12J08506 - 财政年份：2012
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for JSPS Fellows
自動定理証明におけるインターフェースの研究
自动定理证明中的接口研究
- 批准号：
08680345 - 财政年份：1996
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
プログラム検証のための自動定理証明システム
用于程序验证的自动定理证明系统
- 批准号：
58580029 - 财政年份：1983
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)