穴井 宏和 | 富士通研究所
スポンサーリンク
概要
関連著者
-
穴井 宏和
富士通研究所
-
穴井 宏和
株式会社富士通研究所
-
穴井 宏和
富士通情報研究所
-
Weispfenning Volker
Universitat Passau
-
原 辰次
東京工業大学 大学院 情報理工学研究科
-
穴井 宏和
(株)富士通研究所hpc研究センター
著作論文
- A Parameter Space Approach for Fixed-order robust controller synthesis by symbolic computation (Computer Algebra : Algorithms, Implementations and Applications)
- Deciding Linear-Trigonometric Problems (Theory and Application in Computer Algebra)
- Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra)
- 制御理論と計算機代数