Making a quantifier elimination method based on the theory of comprehensive Groebner systems more efficient
Making a quantifier elimination method based on the theory of comprehensive Groebner systems more efficient
使基于综合Groebner系统理论的量词消除方法更加高效
批准号：
17K12642
负责人：
Fukasaku Ryoya
金额：
$1.83万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(14)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
パラメータ付き非根基イデアルに対するエルミート二次形式について
关于参数化非激进理想的埃尔米特二次形式
关于参数化非激进理想的埃尔米特二次形式
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Fukasaku Ryoya, Sato Yosuke, Yosuke Sato and Ryoya Fukasaku, 深作亮也, 深作亮也]
通讯作者：
深作亮也
CGBとCGSの入門
CGB和CGS简介
CGB和CGS简介
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Fukasaku Ryoya, Sato Yosuke, Yosuke Sato and Ryoya Fukasaku, 深作亮也]
通讯作者：
深作亮也
単純ホップ分岐判定法の実装
简单Hopf分支决策方法的实现
简单Hopf分支决策方法的实现
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[○Sumito Kurata, Keisuke Yano, Fumiyasu Komaki, 深作亮也,田島慎一]
通讯作者：
深作亮也,田島慎一
DOI：
10.1145/3208976.3209004
发表时间：
2018-07
期刊：
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation
影响因子：
--
作者：
[Yosuke Sato;Ryoya Fukasaku;Hiroshi Sekigawa]
通讯作者：
Yosuke Sato;Ryoya Fukasaku;Hiroshi Sekigawa
DOI：
10.3233/aic-180762
发表时间：
2018
期刊：
AI Commun.
影响因子：
--
作者：
[Takuya Matsuzaki;Hidenao Iwane;Munehiro Kobayashi;Yiyang Zhan;Ryoya Fukasaku;Jumma Kudo;H. Anai;N. Arai]
通讯作者：
Takuya Matsuzaki;Hidenao Iwane;Munehiro Kobayashi;Yiyang Zhan;Ryoya Fukasaku;Jumma Kudo;H. Anai;N. Arai
共 16 条