SyNRAC: A New Maple Package for Supporting Design and Analysis in Engineering (特集 Quantifier Elimination)
スポンサーリンク
概要
- 論文の詳細を見る
- 日本数式処理学会の論文
- 2003-08-01
著者
関連論文
- 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)