Developments ofcomputational theory of real algebraic geometry for optimization problem
Developments ofcomputational theory of real algebraic geometry for optimization problem
最优化问题实代数几何计算理论的进展
批准号：
21340025
负责人：
ANAI Hirokazu
金额：
$10.98万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2009
资助国家：
日本
项目状态：
已结题
起止时间：
2009 至 2012
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
In this project we have developed effective and efficient quantifier elimination algorithms for optimization problems. We had many original results on quantifier elimination algorithms and published them in international academic journals. Moreover, we also published textbooks on quantifier elimination and optimization.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
An SOS-QE Approach to Nonlinear Gain Analysis
非线性增益分析的 SOS-QE 方法
非线性增益分析的 SOS-QE 方法
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
[H.Ichihara, H.Anai]
通讯作者：
H.Anai
CAD における i-projection operator 導入による QE の効率化
CAD中引入i投影算子提高QE效率
CAD中引入i投影算子提高QE效率
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
[岩根秀直, 穴井宏和, 屋並仁史]
通讯作者：
屋並仁史
自然言語処理と計算代数の接合による数学問題へのアプローチ(<特集>ロボットは東大に入れるか?)
结合自然语言处理和计算代数解决数学问题的方法（<特辑>机器人能考上东京大学吗？）
结合自然语言处理和计算代数解决数学问题的方法（<特辑>机器人能考上东京大学吗？）
DOI：
--
发表时间：
2012
期刊：
人工知能学会誌
影响因子：
--
作者：
[相澤 彰子, 松崎 拓也, 穴井 宏和]
通讯作者：
穴井 宏和
数理最適化の実践ガイド | 書籍情報 | 株式会社 講談社サイエンティフィク
数学最优化实用指南 | 图书信息 | 讲谈社
数学最优化实用指南 | 图书信息 | 讲谈社
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
SyNRAC ダウンロードページ
SyNRAC 下载页面
SyNRAC 下载页面
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 45 条
海外基金