Developments ofcomputational theory of real algebraic geometry for optimization problem

最优化问题实代数几何计算理论的进展

• 批准号: 21340025
• 负责人: ANAI Hirokazu
• 金额: $ 10.98万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21340025/
• 关键词: 数式処理; 最適化; 数値; 数式融合計算; 記号・代数計算; パラメトリック最適化; 記号的最適化手法; 実代数幾何; 限量記号消去; グレブナ基底; 限量子消去

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.

在这个项目中，我们针对优化问题开发了有效且高效的量词消除算法。我们在量词消除算法方面有很多原创成果，并发表在国际学术期刊上。此外，我们还出版了量词消除和优化方面的教科书。

项目成果

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design

制造设计中多目标优化的符号数值方法

• DOI: 10.1007/s11786-011-0097-y
• 发表时间: 2011-11-13
• 期刊: Mathematics in Computer Science
• 影响因子: 0.8
• 作者: Hidenao Iwane;H. Yanami;H. Anai
• 通讯作者: H. Anai

数理最適化の実践ガイド | 書籍情報 | 株式会社 講談社サイエンティフィク

数学最优化实用指南 | 图书信息 | 讲谈社

自然言語処理と計算代数の接合による数学問題へのアプローチ(ロボットは東大に入れるか?)

结合自然语言处理和计算代数解决数学问题的方法（<特辑>机器人能考上东京大学吗？）

• 发表时间: 2012
• 作者: 相澤 彰子; 松崎 拓也; 穴井 宏和
• 通讯作者: 穴井 宏和

Quintic Polynomials of Hashimoto-Tsunogai, Brumer and Kummer

Hashimoto-Tsunogai、Brumer 和 Kummer 的五次多项式

• 发表时间: 2009
• 影响因子: 0.7
• 作者: M. Kida; G Renoue; K. Yokoyama
• 通讯作者: K. Yokoyama

An SOS-QE Approach to Nonlinear Gain Analysis

非线性增益分析的 SOS-QE 方法

• 发表时间: 2011
• 作者: H.Ichihara; H.Anai
• 通讯作者: H.Anai