Development of efficient algorithms for complex and real algebraic constraints
Development of efficient algorithms for complex and real algebraic constraints
批准号:
18K03426
负责人:
Sato Yosuke
金额:
$1.5万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
2018
资助国家:
日本
项目状态:
已结题
起止时间:
2018-04-01 至 2023-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(17)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Simplification of comprehensive Groebner systems using disequalities
使用不等式简化综合 Groebner 系统
DOI:
--
发表时间:
2022
期刊:
影响因子:
--
作者:
[Kashiwabara Takahito, Tsuchiya Takuya, M. Nakamura, Yosuke Sato]
通讯作者:
Yosuke Sato
パラメトリックな連立代数方程式の根の連続性について II
论代数方程参数组根的连续性II
DOI:
--
发表时间:
2019
期刊:
数式処理
影响因子:
--
作者:
[佐藤洋祐, 深作亮也, 関川浩]
通讯作者:
関川浩
DOI:
10.1007/s11786-018-0387-8
发表时间:
2018-10
期刊:
Mathematics in Computer Science
影响因子:
0.8
作者:
[Ryoya Fukasaku;Hidenao Iwane;Yosuke Sato]
通讯作者:
Ryoya Fukasaku;Hidenao Iwane;Yosuke Sato
飽和イデアルの計算によるCGSの簡易化
通过计算饱和理想来简化 CGS
DOI:
--
发表时间:
2022
期刊:
影响因子:
--
作者:
[Kinoshita, T., Watanabe, Y. and Nakao, M. T., 佐藤洋祐]
通讯作者:
佐藤洋祐
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
共 14 条
Gamma oscillation regularity quantification and dynamic analysis for epileptic lesion and network depiction.
-
批准号:20K09356
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.75万
-
财政年份:2020
-
负责人:Sato Yosuke
-
依托单位:
Development of a new biomarker for detecting epileptogenic lesion by quantifying gamma EEG regularity
-
批准号:18K16572
-
项目类别:Grant-in-Aid for Early-Career Scientists
-
资助金额:$2.66万
-
财政年份:2018
-
负责人:Sato Yosuke
-
依托单位: