ACA'2002
スポンサーリンク
概要
- 論文の詳細を見る
- 日本数式処理学会の論文
- 2003-03-01
著者
関連論文
- MZ Platform : 工学アプリケーション開発実行システム
- 未定パラメータを含む常微分方程式の取り扱いについて : 動力学的設計問題への応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- CASC 2003
- 機械系システム設計への応用
- 多項式制約間の矛盾検出法
- ACA'2002
- グレブナ基底計算を効率的に行うための項順序自動設定法
- グレブナ基底計算を効率的に行うための項順序自動設定法 (Computer Algebra : Algorithms, Implementations and Applications)