Improvement of lemma generation and reasoning strategies for automated inductive theorem proving
Improvement of lemma generation and reasoning strategies for automated inductive theorem proving
自动归纳定理证明的引理生成和推理策略的改进
批准号：
16K16032
负责人：
SATO HARUHIKO
金额：
$0.83万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
Discovering Inductive Theorems Using Rewriting Induction
使用重写归纳法发现归纳定理
使用重写归纳法发现归纳定理
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Haruhiko Sato, Masahito Kurihara]
通讯作者：
Masahito Kurihara
On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems
论语法复杂引理在归纳定理理论探索中的作用
论语法复杂引理在归纳定理理论探索中的作用
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[十川雄司, 青山裕介, 黒岩丈瑠, 久代紀之, Haruhiko Sato and Masahito Kurihara]
通讯作者：
Haruhiko Sato and Masahito Kurihara