Automated Theorem Proving with Machine Learning for Automating Mathematics
Automated Theorem Proving with Machine Learning for Automating Mathematics
使用机器学习自动证明数学自动化
批准号：
19K22842
负责人：
Suenaga Kohei
金额：
$3.99万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-06-28 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
DOI：
10.1609/aaai.v34i04.5977
发表时间：
2019-04
期刊：
ArXiv
影响因子：
--
作者：
[Takamasa Okudono;Masaki Waga;Taro Sekiyama;I. Hasuo]
通讯作者：
Takamasa Okudono;Masaki Waga;Taro Sekiyama;I. Hasuo
DOI：
10.1007/978-3-030-69535-4_12
发表时间：
2020-10
期刊：
ArXiv
影响因子：
--
作者：
[Yuhki Hatakeyama;Hiroki Sakuma;Yoshinori Konishi;Kohei Suenaga]
通讯作者：
Yuhki Hatakeyama;Hiroki Sakuma;Yoshinori Konishi;Kohei Suenaga
Forma verification of hybrid systems based on the infinitesimal programming
-
批准号：25730040
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.66万
-
财政年份：2013
-
负责人：Suenaga Kohei
-
依托单位：
海外基金
