Discovery and proof of inductive theorems with multi-context reasoning systems for algebraic software
Discovery and proof of inductive theorems with multi-context reasoning systems for algebraic software
使用代数软件的多上下文推理系统发现和证明归纳定理
批准号：
16K00090
负责人：
Kurihara Masahito
金额：
$3.08万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Automated proof and discovery of inductive thorems with rewriting induction over multi-context reasoning systems: state-of-the-art technologies and perspectives
通过多上下文推理系统重写归纳来自动证明和发现归纳定理：最先进的技术和观点
通过多上下文推理系统重写归纳来自动证明和发现归纳定理：最先进的技术和观点
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Masahito Kurihara, Haruhiko Sato, ChengCheng Ji]
通讯作者：
ChengCheng Ji
On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems
论语法复杂引理在归纳定理理论探索中的作用
论语法复杂引理在归纳定理理论探索中的作用
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[十川雄司, 青山裕介, 黒岩丈瑠, 久代紀之, Haruhiko Sato and Masahito Kurihara]
通讯作者：
Haruhiko Sato and Masahito Kurihara
Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Reasoning Systems
高效实现多上下文代数推理系统的惰性评估方案
高效实现多上下文代数推理系统的惰性评估方案
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Chengcheng Ji, Masahito Kurihara]
通讯作者：
Masahito Kurihara
Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection
通过发散检测进行术语重写归纳的多上下文自动引理生成
通过发散检测进行术语重写归纳的多上下文自动引理生成
DOI：
--
发表时间：
2019
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
[Chengcheng Ji, Masahito Kurihara, Haruhiko Sato]
通讯作者：
Haruhiko Sato
Discovering Inductive Theorems Using Rewriting Induction
使用重写归纳法发现归纳定理
使用重写归纳法发现归纳定理
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Haruhiko Sato, Masahito Kurihara]
通讯作者：
Masahito Kurihara
海外基金