Murata Keizo | Department of Physics and Astronomy, Seoul National University, Seoul 151-747, Korea.Osaka City University, Osaka 558-8585, Japan.Osaka University of Economics and Laws, Yao, Osaka 581-8511, Japan.
スポンサーリンク
概要
- Murata Keizoの詳細を見る
- 同名の論文著者
- Department of Physics and Astronomy, Seoul National University, Seoul 151-747, Korea.Osaka City University, Osaka 558-8585, Japan.Osaka University of Economics and Laws, Yao, Osaka 581-8511, Japan.の論文著者
論文 | ランダム
- 通行時間計測のための多点交通流測定データの融合
- 数式処理を用いた設計技術 (特集 研究開発最前線)
- 数値数式CADの実装
- 項置換による限定子除去アルゴリズムにおける論理式簡略化について (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)