SyNRAC : A maple-package for solving real algebraic constraints
スポンサーリンク
概要
- 論文の詳細を見る
- 2003-09-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)