2012 Fiscal Year Final Research Report
Developments ofcomputational theory of real algebraic geometry for optimization problem
| Project/Area Number |
21340025
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
ANAI Hirokazu 九州大学, マス・フォア・インダストリ研究所, 教授 (20417520)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
YOKOYAMA Kazuhiro 立教大学, 理学部, 教授 (30333454)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
YANAMI Hitoshi 富士通研究所, ソフトウェア技術研究所, 研究員 (70417533)
IWANE Hidenao 富士通研究所, ソフトウェア技術研究所, 研究員 (00470360)
|
|---|
| Project Period (FY) |
2009 – 2012
|
| Keywords | 数式処理 / 最適化 / 数値 / 数式融合計算 |
|---|
| Research Abstract |
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.
|
