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
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
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
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 }}
相似海外基金
Automated Theorem Proving for Infinite Term Rewriting Systems
无限项重写系统的自动定理证明
- 批准号：
22K11904 - 财政年份：2022
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Dependent refinement types and predicate constraints for program verification
用于程序验证的依赖细化类型和谓词约束
- 批准号：
22H03570 - 财政年份：2022
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
機械学習技術による高速な演繹的推論エンジンの開発
利用机器学习技术开发高速演绎推理引擎
- 批准号：
22H03564 - 财政年份：2022
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Automated Deduction and Reduction Orders
自动扣除和减少订单
- 批准号：
22K11900 - 财政年份：2022
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Detection of Lies/Misinformation Based on Dynamic Epistemic Logic, and Application to a Game with Incomplete Information
基于动态认知逻辑的谎言/错误信息检测及其在不完全信息博弈中的应用
- 批准号：
21K17813 - 财政年份：2021
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Early-Career Scientists