Computer Algebra for Guaranteed Accuracy. How Does It Help?

スポンサーリンク

概要

• 論文の詳細を見る
• 2009-10-01

著者

• ANAI Hirokazu

  Fujitsu Laboratories Ltd.

• Anai Hirokazu

  Fujitsu Laboratories Ltd./kyushu University

• Kanno Masaaki

  Institute Of Science And Technology Academic Assembly Niigata University

関連論文

• 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)

スポンサーリンク