Parametric Robust Control by Quantifier Elimination (特集 Quantifier Elimination)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本数式処理学会の論文
• 2003-08-01

著者

• Hara Shinji

  The University Of Tokyo

• ANAI Hirokazu

  Fujitsu Laboratories Ltd.

関連論文

• Parametric Robust Control by Quantifier Elimination (特集 Quantifier Elimination)
• SyNRAC : A maple-package for solving real algebraic constraints
• Computer Algebra for Guaranteed Accuracy. How Does It Help?
• SyNRAC: A New Maple Package for Supporting Design and Analysis in Engineering (特集 Quantifier Elimination)

スポンサーリンク