IIMOTO Takeshi | Division of Environment, Health and Safety, The University of Tokyo
スポンサーリンク
概要
- IIMOTO Takeshiの詳細を見る
- 同名の論文著者
- Division of Environment, Health and Safety, The University of Tokyoの論文著者
論文 | ランダム
- 項置換による限定子除去アルゴリズムにおける論理式簡略化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)
- Development of SyNRAC : A Cylindrical Algebraic Decomposition Procedure (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 笑気吸入鎮静法が小児の尿中カテコールアミン変動に及ぼす影響