Kyushu University · Institute of Mathematics for Industry · 教授

Research keywordsrobust control design・quantifier elimination・symbolic numeric computation・algebraic optimization・spectral factorization・kinetic network model selection・computational real algebraic geometry

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem2009 · Journal of Symbolic Computation 2009年4月
• Symbolic optimization of algebraic functions2008 · Symbolic and algebraic computation 2008年4月
• The Maple package SyNRAC and its application to robust control design2007 · Future Generation Computer Systems 2007年6月
• Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination2007 · Applicable Algebra in Engineering, Communication and Computing 2007年12月

• 計算代数統計学の展開2006 · 2006年 - 2009年
• 科学技術振興機構 CREST 『数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォームの構築』2003 · 2003年10月 - 2008年9月
• 数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォームの構築2003 · 2003年 - 2008年
• 記号・代数計算による最適化問題解法と定理自動証明の研究

• Official profile